CoRR, November 2014
Abhijit Chandra, Oliva Kar, Kuan-Chuen Wu, Michelle Hall, Jason Gillette:
Prognosis of Anterior Cruciate Ligament (ACL) Reconstruction: A Data Driven Approach.
John E. Miller, Michael Bloodgood, Manabu Torii, K. Vijay-Shanker:
Rapid Adaptation of POS Tagging for Domain Specific Uses.
Ya Le, Eric Bax, Nicola Barbieri, David García-Soriano, Jitesh Mehta, James Li:
Validation of Network Reconciliation.

Arnaud Sallaberry, Yang-chih Fu, Hwai-Chung Ho, Kwan-Liu Ma:
ContactTrees: A Technique for Studying Personal Network Data.
Emanuel Diamant:
Cognitive image processing: the time is right to recognize that the world does not rest more on turtles and elephants.

Feng Shi, Jianer Chen, Qilong Feng, Xiaojun Ding, Jianxin Wang:
Algorithms for Maximum Agreement Forest of Multiple General Trees.
Lingyang Chu, Shuhui Wang, Siyuan Liu, Qingming Huang, Jian Pei:
ALID: Scalable Dominant Cluster Detection.
Guodong Shi, Alexandre Proutière, Mikael Johansson, John S. Baras, Karl Henrik Johansson:
Emergent Behaviors over Signed Random Dynamical Networks: State-Flipping Model.
Juei-Chin Shen, Jun Zhang, Khaled Ben Letaief:
User Capacity of Pilot-Contaminated TDD Massive MIMO Systems.
Shu Feng, Gu Chen, Michael Mao Wang, Stevan M. Berber, Xiaohu You:
Probability density derivation and analysis of SINR in massive MIMO systems with MF beamformer.
Atul Kanaujia, Tae Eun Choe, Hongli Deng:
Complex Events Recognition under Uncertainty in a Sensor Network.
Kaoutar Ben Ahmed, Mohammed Bouhorma, Mohamed Ben Ahmed:
Age of Big Data and Smart Cities: Privacy Trade-Off.
Tomasz Brengos, Marino Miculan, Marco Peressotti:
Behavioural equivalences for coalgebras with unobservable moves.
Vincenzo De Florio:
Systems, Resilience, and Organization: Analogies and Points of Contact with Hierarchy Theory.
Deeparnab Chakrabarty, Prateek Jain, Pravesh Kothari:
Provable Submodular Minimization using Wolfe's Algorithm.
Bakthavachalam Elango, Lutz Bornmann, Subramaniam Shankar:
Study of Citation Networks in Tribology Research.
Arash Khabbazibasmenj, Maksym A. Girnyk, Sergiy A. Vorobyov, Mikko Vehkaperä, Lars K. Rasmussen:
On the Optimal Precoding for MIMO Gaussian Wire-Tap Channels.
Maksym A. Girnyk, Frédéric Gabry, Mikko Vehkaperä, Lars K. Rasmussen, Mikael Skoglund:
On the Transmit Beamforming for MIMO Wiretap Channels: Large-System Analysis.
Philippe Vincent-Lamarre, Alexandre Blondin Massé, Marcos Lopes, Mélanie Lord, Odile Marcotte, Stevan Harnad:
The Latent Structure of Dictionaries.
Bálint Antal, András Hajdu, Zsuzsanna Maros-Szabó, Zsolt Török, Adrienne Csutak, Tünde Petö:
A Two-phase Decision Support Framework for the Automatic Screening of Digital Fundus Images.
Saieed Akbari, Mina Dalirrooyfard, K. Ehsani, R. Sherkati:
A Note on Signed k-Submatching in Graphs.
Paola Bermolen, Matthieu Jonckheere, Federico Larroca, Pascal Moyal:
Estimating the Spatial Reuse with Configuration Models.
Ittai Abraham, Omar Alonso, Vasilis Kandylas, Rajesh Patel, Steven Shelford, Aleksandrs Slivkins:
Using Worker Quality Scores to Improve Stopping Rules.
William Cushing, J. Benton, Patrick Eyerich, Subbarao Kambhampati:
Surrogate Search As a Way to Combat Harmful Effects of Ill-behaved Evaluation Functions.
Rati Gelashvili, Mohsen Ghaffari, Jerry Li, Nir Shavit:
On the Importance of Registers for Computability.
Siu-on Chan, Ilias Diakonikolas, Rocco A. Servedio, Xiaorui Sun:
Near-Optimal Density Estimation in Near-Linear Time Using Variable-Width Histograms.
Hamed Razavi, Anthony M. Bloch, Christine Chevallereau, J. W. Grizzle:
Restricted Discrete Invariance and Self-Synchronization For Stable Walking of Bipedal Robots.
Bjørn Kjos-Hanssen, Paul Kim Long V. Nguyen, Jason M. Rute:
Algorithmic randomness for Doob's martingale convergence theorem in continuous time.
Yanfei Yan, Ling Liu, Cong Ling, Xiaofu Wu:
Construction of Capacity-Achieving Lattice Codes: Polar Lattices.

Changbing Tang, Ang Li, Xiang Li:
When reputation enforces evolutionary cooperation in unreliable MANETs.
Raka Jovanovic, Sabre Kais, Fahhad H. Alharbi:
Cuckoo Search Inspired Hybridization of the Nelder-Mead Simplex Algorithm Applied to Optimization of Photovoltaic Cells.
Yulong Zou, Jia Zhu, Gongpu Wang, Hua Shao:
Secrecy Outage Probability Analysis of Multi-User Multi-Eavesdropper Wireless Systems.
Yulong Zou, Jia Zhu, Baoyu Zheng:
Outage Analysis of Multi-Relay Selection for Cognitive Radio with Imperfect Spectrum Sensing.
Yulong Zou, Benoît Champagne, Wei-Ping Zhu, Lajos Hanzo:
Relay-Selection Improves the Security-Reliability Trade-off in Cognitive Radio Systems.
Mordechai Guri, Gabi Kedma, Assaf Kachlon, Yuval Elovici:
AirHopper: Bridging the Air-Gap between Isolated Networks and Mobile Phones using Radio Frequencies.
Amin Jamali, Seyed Mostafa Safavi Hemami, Mehdi Berenjkoub, Hossein Saidi:
An Adaptive MAC Protocol for Wireless LANs.
Xinqian Xie, Mugen Peng, Yonghui Li, Wenbo Wang, H. Vincent Poor:
Channel Estimation for Two-Way Relay Networks in the Presence of Synchronization Errors.
Alexandros Efentakis, Dieter Pfoser, Yannis Vassiliou:
SALT. A unified framework for all shortest-path query variants on road networks.
Alex Verstak, Anurag Acharya, Helder Suzuki, Sean Henderson, Mikhail Iakhiaev, Cliff Chiung-Yu Lin, Namit Shetty:
On the Shoulders of Giants: The Growing Impact of Older Articles.
Andrés Abeliuk, Gerardo Berbeglia, Manuel Cebrián, Pascal Van Hentenryck:
Optimizing Expected Utility in a Multinomial Logit Model with Position Bias and Social Influence.
Remi A. Chou, Matthieu R. Bloch:
Polar Coding for the Broadcast Channel with Confidential Messages and Constrained Randomization.
Tohid Ardeshiri, Tianshi Chen:
Maximum Entropy Property of Discrete-time First Order Stable Spline Kernel.
Andrea Grigorescu, Holger Boche, Rafael F. Schaefer, H. Vincent Poor:
Capacity Region Continuity of the Compound Broadcast Channel with Confidential Messages.
Aasa Feragen, François Lauze, Søren Hauberg:
Geodesic Exponential Kernels: When Curvature and Linearity Conflict.
Nir Elkayam, Meir Feder:
Achievable and Converse bounds over a general channel and general decoding metric.
Corneliu Florea, Constantin Vertan, Laura Florea:
High Dynamic Range Imaging by Perceptual Logarithmic Exposure Merging.
Maxime Chevalier-Boisvert, Marc Feeley:
Simple and Effective Type Check Removal through Lazy Basic Block Versioning.
T. V. Ananthapadmanabha, K. V. Vijay Girish, A. G. Ramakrishnan:
Detection of transitions between broad phonetic classes in a speech signal.
Zhu Tang, Zhenqian Feng, Wanrong Yu, Baokang Zhao, Chunqing Wu:
Link Reassignment based Snapshot Partition for Polar-orbit LEO Satellite Networks.
Luca Barletta, Gerhard Kramer:
Upper Bound on the Capacity of Discrete-Time Wiener Phase Noise Channels.
Roozbeh Rajabi, Hassan Ghassemian:
Sparsity Constrained Graph Regularized NMF for Spectral Unmixing of Hyperspectral Data.
Alex Alvarado, Erik Agrell:
Four-Dimensional Coded Modulation with Bit-wise Decoders for Future Optical Communications.
(Withdrawn) GC-SROIQ(C) : Expressive Constraint Modelling and Grounded Circumscription for SROIQ.
Gerhard Wunder, Holger Boche, Thomas Strohmer, Peter Jung:
Sparse Signal Processing Concepts for Efficient 5G System Design.
Joseph Corneli, Alison Pease, Simon Colton, Anna Jordanous, Christian Guckelsberger:
Modelling serendipity in a computational context.
Abdullah Gubbi, Mohammad Fazle Azeem, M. Sharmila Kumari:
Non Binary Local Gradient Contours for Face Recognition.
Samah A. M. Ghanem:
Multiple Access Gaussian Channels with Arbitrary Inputs: Optimal Precoding and Power Allocation.
Thomas Powell:
Parametrised bar recursion: A unifying framework for realizability interpretations of classical dependent choice.
Mohammadreza Darabi:
Reduction of CRB in Arbitrary Pre-designed Arrays Using Alter an Element Position.
Andrea Cerone, Matthew Hennessy, Massimo Merro:
Modelling MAC-Layer Communications in Wireless Systems.
Baharan Mirzasoleiman, Amin Karbasi, Rik Sarkar, Andreas Krause:
Distributed Submodular Maximization.
Marek Karpinski, Andrzej Lingas, Dzmitry Sledneu:
A QPTAS for the Base of the Number of Triangulations of a Planar Point Set.
Gregory J. Puleo, Olgica Milenkovic:
Correlation Clustering with Constrained Cluster Sizes and Extended Weights Bounds.
Naghmeh Momeni, Michael G. Rabbat:
Measuring the Generalized Friendship Paradox in Networks with Quality-dependent Connectivity.
Matthew Saltz, Arnau Prat-Pérez, David Dominguez-Sal:
Distributed Community Detection with the WCC Metric.
Jonathan Vitale, Mary-Anne Williams, Benjamin Johnston, Giuseppe Boccignone:
Affective Facial Expression Processing via Simulation: A Probabilistic Model.
Nadezhda Borisova, Grigor Iliev, Elena Karashtranova:
On Detecting Noun-Adjective Agreement Errors in Bulgarian Language Using GATE.
Samah A. M. Ghanem:
Multi-Cell Processing with Limited Cooperation: A Novel Framework to Timely Designs and Reduced Feedback with General Inputs.
Sebastian Schelter, Venu Satuluri, Reza Zadeh:
Factorbird - a Parameter Server Approach to Distributed Matrix Factorization.

(Withdrawn) T-Funtions of several variables: New Criteria for Transitivity.
Allan Grønlund Jørgensen, Kasper Green Larsen:
Towards Tight Lower Bounds for Range Reporting on the RAM.
Mohsen JafariAsbagh, Emilio Ferrara, Onur Varol, Filippo Menczer, Alessandro Flammini:
Clustering memes in social media streams.
Gustavo Gonzalez Granadillo, Christophe Ponchel, Gregory Blanc, Hervé Debar:
Combining Technical and Financial Impacts for Countermeasure Selection. 1-14
Dmitry Chistikov, Rayna Dimitrova, Rupak Majumdar:
Approximate Counting in SMT and Value Estimation for Probabilistic Programs.
Valeria Stourm, Eric Bax:
Pigovian Taxes Can Increase Platform Competitiveness: The Case of Online Display Advertising.
Marcelo Firer, Jerry Anderson Pinheiro:
Bounds for complexity of syndrome decoding for poset metrics.
Dileep M. Kalathil, Vivek S. Borkar, Rahul Jain:
A Learning Scheme for Approachability in MDPs and Stackelberg Stochastic Games.
Masahito Hayashi, Himanshu Tyagi, Shun Watanabe:
Secret Key Agreement: General Capacity and Second-Order Asymptotics.
Ahmadreza Baghaie, Roshan M. D'Souza, Zeyun Yu:
State-of-the-Art in Retinal Optical Coherence Tomography Image Analysis.
Yan Zhang, Zhaohui Zhu, Jinjin Zhang:
Greatest solutions of equations in $\text{CLL}_R$ and its application.
Xiaolei Huang, Lei Zhang, Tianli Liu, David Chiu, Tingshao Zhu, Xin Li:
Detecting Suicidal Ideation in Chinese Microblogs with Psychological Lexicons.
Seung Woo Shin, Chris Thachuk, Erik Winfree:
Verifying Chemical Reaction Network Implementations: A Pathway Decomposition Approach.
Lu Ma, Mahsa Ghafarianzadeh, Dave Coleman, Nikolaus Correll, Gabe Sibley:
Simultaneous Localization, Mapping, and Manipulation for Unsupervised Object Discovery.
Arjun Bhardwaj, N. S. Narayanaswamy:
An Intuitive Procedure for Converting PDA to CFG, by Construction of Single State PDA.
Yiguang Liu:
A random algorithm for low-rank decomposition of large-scale matrices with missing entries.
Laszlo B. Kish, Zoltan Gingl, Robert Mingesz, Gergely Vadai, Janusz Smulko, Claes-Goran Granqvist:
Analysis of an attenuator artifact in an experimental attack by Gunn-Allison-Abbott against the Kirchhoff-law-Johnson-noise (KLJN) secure key exchange system.
(Withdrawn) Limitations of state estimation: absolute lower bound of minimum variance estimation/filtering, Gaussianity-whiteness measure (joint Shannon-Wiener entropy), and Gaussianing-whitening filter (maximum Gaussianity-whiteness measure principle).
Gabriele Lami, Marco Cristoforetti, Giuseppe Jurman, Cesare Furlanello, Tommaso Furlanello:
Entropy Dynamics of Community Alignment in the Italian Parliament Time-Dependent Network.
Mickael Randour, Jean-François Raskin, Ocan Sankur:
Variations on the Stochastic Shortest Path Problem.
Afshin Amighi, Christian Haack, Marieke Huisman, Clément Hurlin:
Permission-Based Separation Logic for Multithreaded Java Programs.
Lei Zhang, Xiaolei Huang, Tianli Liu, Zhenxiang Chen, Tingshao Zhu:
Using Linguistic Features to Estimate Suicide Probability of Chinese Microblog Users.
Dániel Marx, Paul Wollan:
An exact characterization of tractable demand patterns for maximum disjoint path problems.
Loet Leydesdorff, Wouter de Nooy, Lutz Bornmann, Gangan Prathap:
The "Tournaments" Metaphor in Citation Impact Studies: Power-Weakness Ratios (PWR) as a Journal Indicator.
Blesson Varghese, Ozgur Akgun, Ian Miguel, Long Thai, Adam Barker:
Cloud Benchmarking for Performance.
Roland Glantz, Henning Meyerhenke, Alexander Noe:
Algorithms for Mapping Parallel Processes onto Grid and Torus Architectures.
Stephen J. Bensman, Alice Daugherty, Lawrence J. Smolinsky, Daniel S. Sage, J. Sylvan Katz:
Power-law distributions, the h-index, and Google Scholar (GS) citations: a test of their relationship with economics Nobelists.
Hüseyin Acan, Andrea Collevecchio, Abbas Mehrabian, Nick Wormald:
On the push&pull protocol for rumour spreading.

Raka Jovanovic, Milan Tuba, Stefan Voss:
A Multi-Heuristic Approach for Solving the Pre-Marshalling Problem.
Sateeshkrishna Dhuli, Kumar Gaurav, Yatindra Nath Singh:
Convergence Analysis for Regular Wireless Consensus Networks.
Benjamin Hescott, Caleb Malchik, Andrew Winslow:
More Tight Bounds for Active Self-Assembly Using an Insertion Primitive.
Benjamin M. Gyori, Daniel Paulin, Sucheendra K. Palaniappan:
Probabilistic verification of partially observable dynamical systems.
Chad Eckman, Jonathan A. Lindgren, Erin P. J. Pearse, David J. Sacco, Zachariah Zhang:
Iterated geometric harmonics for data imputation and reconstruction of missing data.

Javid Dadashkarimi, Azadeh Shakery, Heshaam Faili:
A Probabilistic Translation Method for Dictionary-based Cross-lingual Information Retrieval in Agglutinative Languages.
Matthias Kümmerer, Lucas Theis, Matthias Bethge:
Deep Gaze I: Boosting Saliency Prediction with Feature Maps Trained on ImageNet.
Raka Jovanovic, Abdelkader Bousselham, Stefan Voss:
A Heuristic Method for Solving the Problem of Partitioning Graphs with Supply and Demand.
Augusto Luis Ballardini, Simone Fontana, Axel Furlan, Domenico G. Sorrenti:
ira_laser_tools: a ROS LaserScan manipulation toolbox.


Ali Paikan, Vadim Tikhanoff, Giorgio Metta, Lorenzo Natale:
Enhancing software module reusability using port plug-ins: an experiment with the iCub robot.
Laura Antanas, Plinio Moreno, Marion Neumann, Rui Pimentel de Figueiredo, Kristian Kersting, José Santos-Victor, Luc De Raedt:
High-level Reasoning and Low-level Learning for Grasping: A Probabilistic Logic Pipeline.
Yu Zhang, Subbarao Kambhampati:
Learning of Agent Capability Models with Applications in Multi-agent Planning.
David Furcy, Samuel Micka, Scott M. Summers:
Optimal program-size complexity for self-assembly at temperature 1 in 3D.
Zeyuan Allen Zhu, Lorenzo Orecchia:
Nearly-Linear Time Packing and Covering LP Solver with Faster Convergence Rate Than $O(1/\varepsilon^2)$.
Songcen Xu, Rodrigo C. de Lamare, H. Vincent Poor:
Distributed Low-Rank Estimation Based on Joint Iterative Optimization in Wireless Sensor Networks.
Rui Fang, Zequn Huang, Louis F. Rossi, Chien-Chung Shen:
Probabilistic Modeling of IEEE 802.11 Distributed Coordination Functions.
Zhaohui Wu, Dayu Yuan, Pucktada Treeratpituk, C. Lee Giles:
Science and Ethnicity: How Ethnicities Shape the Evolution of Computer Science Research Community.
Forough Arabshahi, Furong Huang, Animashree Anandkumar, Carter T. Butts:
Modeling Dynamic Social Interactions via Conditional Latent Tree Models.
Christopher De Sa, Kunle Olukotun, Christopher Ré:
Global Convergence of Stochastic Gradient Descent for Some Nonconvex Matrix Problems.
Marcelo Firer, Luciano Panek, Jerry Anderson Pinheiro:
Coding and Decoding Schemes for MSE and Image Transmission.
Waleed Ammar, Chris Dyer, Noah A. Smith:
Conditional Random Field Autoencoders for Unsupervised Structured Prediction.
Chayanika Sharma, Sangeeta Sabharwal, Ritu Sibal:
A Survey on Software Testing Techniques using Genetic Algorithm.

(Withdrawn) An Intelligent Personal Robot Assistant.
Rui Zeng, Jiasong Wu, Zhuhong Shao, Lotfi Senhadji, Huazhong Shu:
Multilinear Principal Component Analysis Network for Tensor Object Classification.
Rui Zeng, Jiasong Wu, Lotfi Senhadji, Huazhong Shu:
Tensor object classification via multilinear discriminant analysis network.
Hamza Rihani, Peter Sanders, Roman Dementiev:
MultiQueues: Simpler, Faster, and Better Relaxed Concurrent Priority Queues.
Muhammed Asif Saleem, Blesson Varghese, Adam Barker:
BigExcel: A Web-Based Framework for Exploring Big Data in Social Sciences.
Junfeng Wu, Guodong Shi, Brian D. O. Anderson, Karl Henrik Johansson:
Kalman Filtering over Gilbert-Elliott Channels: Stability Conditions and the Critical Curve.

T. V. Ananthapadmanabha, A. G. Ramakrishnan, Pradeep Balachandran:
An Interesting Property of LPCs for Sonorant Vs Fricative Discrimination.
Se-Young Yun, Marc Lelarge, Alexandre Proutière:
Streaming, Memory Limited Algorithms for Community Detection.
Wenling Li, Yingmin Jia:
Kullback-Leibler divergence for interacting multiple model estimation with random matrices.
Osvaldo Pereira, Esley Torres, Yasel Garcés Suárez, Roberto Rodríguez:
Edge Detection based on Kernel Density Estimation.
Kleanthis Thramboulidis:
An Open Distributed Architecture for Flexible Hybrid Assembly Systems: A Model Driven Engineering Approach.
Avery Miller, Andrzej Pelc:
Election vs. Selection: Two Ways of Finding the Largest Node in a Graph.
Omer Tanovic, Alexandre Megretski, Yan Li, Vladimir Marko Stojanovic, Mitra Osqui:
Discrete-Time Models Resulting From Dynamic Continuous-Time Perturbations In Phase-Amplitude Modulation-Demodulation Schemes.
Siddharth Jain, Rakesh Kumar Bansal:
On Match Lengths, Zero Entropy and Large Deviations - with Application to Sliding Window Lempel-Ziv Algorithm.
Nicolas Robinson-Garcia, Evaristo Jiménez-Contreras, Enrique Fuente-Gutiérrez, Daniel Torres-Salinas:
Bibliometric Indicators for Publishers: Data processing, indicators and interpretation.
Rosa Camps, Xavier Mora, Laia Saumell:
Choosing by means of approval-preferential voting. The revised approval choice.
Nima Keivan, Gabe Sibley:
Online SLAM with Any-time Self-calibration and Automatic Change Detection.

Yonina C. Eldar, Pavel Sidorenko, Dustin G. Mixon, Shaby Barel, Oren Cohen:
Sparse Phase Retrieval from Short-Time Fourier Measurements.
Shuchi Chawla, Nikhil R. Devanur, Anna R. Karlin, Balasubramanian Sivan:
How to sell an app: pay-per-play or buy-it-now?
Siddharth Srivastava, Ramji Gupta, Astha Rai, A. S. Cheema:
Electronic Health Records and Cloud based Generic Medical Equipment Interface.
Sahadev Bera, Partha Bhowmick, Bhargab B. Bhattacharya:
On Covering a Solid Sphere with Concentric Spheres in ${\mathbb Z}^3$.
Nicholas D. Haynes, Miguel C. Soriano, Ingo Fischer, Daniel J. Gauthier:
Reservoir computing with a single time-delay autonomous Boolean node.
Mikhail Belkin, Luis Rademacher, James R. Voss:
Learning a Hidden Basis Through Imperfect Measurements: An Algorithmic Primitive.
Karthikeyan Shanmugam, Rashish Tandon, Alexandros G. Dimakis, Pradeep Ravikumar:
On the Information Theoretic Limits of Learning Ising Models.

Md Farhadur Rahman, Weimo Liu, Saravanan Thirumuruganathan, Nan Zhang, Gautam Das:
Rank-Based Inference over Web Databases.
Yanjun Han, Jiantao Jiao, Tsachy Weissman:
Minimax Estimation of Discrete Distributions under ℓ1 Loss.
Xinqian Xie, Mugen Peng, H. Vincent Poor:
Training Design and Channel Estimation in Uplink Cloud Radio Access Networks.
Anima Anandkumar, Rong Ge, Majid Janzamin:
Analyzing Tensor Power Method Dynamics: Applications to Learning Overcomplete Latent Variable Models.
Maria-Florina Balcan, Avrim Blum, Santosh Vempala:
Efficient Representations for Life-Long Learning and Autoencoding.


Zetao Chen, Obadiah Lam, Adam Jacobson, Michael Milford:
Convolutional Neural Network-based Place Recognition.
Wolfgang Mulzer, Huy L. Nguyen, Paul Seiferth, Yannik Stein:
Approximate k-flat Nearest Neighbor Search.



Symeon Chatzinotas:
Large System Analysis for Amplify & Forward SIMO Multiple Access Channel with Ill-conditioned Second Hop.
Shuiyin Liu, Yi Hong, Emanuele Viterbo:
Guaranteeing Positive Secrecy Capacity with Finite-Rate Feedback using Artificial Noise.
Jeff Bezanson, Alan Edelman, Stefan Karpinski, Viral B. Shah:
Julia: A Fresh Approach to Numerical Computing.
Joonas Pääkkönen, Camilla Hollanti, Olav Tirkkonen:
Device-to-Device Data Storage with Regenerating Codes.
Ilario Bonacina, Nicola Galesi, Tony Huynh, Paul Wollan:
Space proof complexity for random $3$-CNFs via a $(2-ε)$-Hall's Theorem.
Siddharth Sigtia, Emmanouil Benetos, Nicolas Boulanger-Lewandowski, Tillman Weyde, Artur S. d'Avila Garcez, Simon Dixon:
A Hybrid Recurrent Neural Network For Music Transcription.
Ernest Davis:
The Limitations of Standardized Science Tests as Benchmarks for Artificial Intelligence Research: Position Paper.
Philipp Mayr, Andrea Scharnhorst:
Scientometrics and Information Retrieval - weak-links revitalized.
Stefan Steinerberger:
A filtering technique for Markov chains with applications to spectral embedding.
Andrej Gisbrecht, Frank-Michael Schleif:
Metric and non-metric proximity transformations at linear costs.
Sahadev Bera, Shyamosree Pal, Partha Bhowmick, Bhargab B. Bhattacharya:
On Chord and Sagitta in Z2: An Analysis towards Fast and Robust Circular Arc Detection.
Dariush Fooladivanda, G. Mancini, Siddharth Garg, Catherine Rosenberg:
State of Charge Evolution Equations for Flywheels.
Yuanyi Xue, Beril Erkin, Yao Wang:
A Novel No-reference Video Quality Metric for Evaluating Temporal Jerkiness due to Frame Freezing.
Marcos Portnoi, Chien-Chung Shen:
Wireless-Delimited Secure Zones with Encrypted Attribute-Based Broadcast for Safe Firearms.
Diego Cifuentes, Pablo A. Parrilo:
Exploiting chordal structure in polynomial ideals: a Gröbner bases approach.
Reshef Meir, David C. Parkes:
Playing the Wrong Game: Smoothness Bounds for Congestion Games with Risk Averse Agents.
Adarsh Prasad, Stefanie Jegelka, Dhruv Batra:
Submodular meets Structured: Finding Diverse Subsets in Exponentially-Large Structured Item Sets.
Jason Yosinski, Jeff Clune, Yoshua Bengio, Hod Lipson:
How transferable are features in deep neural networks?
Bruno Clerckx, David Gesbert:
Space-Time Encoded MISO Broadcast Channel with Outdated CSIT: An Error Rate and Diversity Performance Analysis.
Deepak Uniyal, Vaskar Raychoudhury:
Pervasive Healthcare-A Comprehensive Survey of Tools and Techniques.
Tianyu Song, Pooi-Yuen Kam:
Efficient Direct Detection of M-PAM Sequences with Implicit CSI Acquisition for The FSO System.
Mohammad Esmaeilzadeh, Parastoo Sadeghi, Neda Aboutorab:
Random Linear Network Coding for Wireless Layered Video Broadcast: General Design Methods for Adaptive Feedback-free Transmission.
Puneet Kumar, Dharminder Kumar, Narendra Kumar:
E-Governance in India: Definitions, Challenges and Solutions.
Prosenjit Bose, Jean-Lou De Carufel, Carsten Grimm, Anil Maheshwari, Michiel H. M. Smid:
Optimal Data Structures for Farthest-Point Queries in Cactus Networks.
Md. Baharul Islam, Arif Ahmed, Md. Kabirul Islam, Abu Kalam Shamsuddin:
Child Education Through Animation: An Experimental Study.
M. Ravichandra Kumar, B. Ravi Teja:
A Novel Uncertainty Parameter SR (Signal To Residual Spectrum Ratio) Evaluation Approach For Speech Enhancement.
Christos Mousas, Paul F. Newbury, Christos-Nikolaos Anagnostopoulos:
Footprint-Driven Locomotion Composition.
Ali Khalili, Lorenzo Natale, Armando Tacchella:
Reverse Engineering of Middleware for Verification of Robot Control Architectures.
Marcelo L. M. Marinho, Suzana Cândido de Barros Sampaio, T. L. A. Lima, Hermano P. Moura:
A Guide To Deal With Uncertainties In Software Project Management.
Alexandre J. H. de O. Luna, Philippe Kruchten, Marcello L. G. do E. Pedrosa, Humberto R. de Almeida Neto, Hermano P. de Moura:
State of the Art of Agile Governance: A Systematic Review.
Muralikrishnan Ramane, Sharmila Krishnamoorthy, Sasikala Gowtham:
An Experimental Evaluation of Performance of A Hadoop Cluster on Replica Management.
Muralikrishnan Ramane, Balaji Vasudevan, Sathappan Allaphan:
A Provenance-Policy Based Access Control Model For Data Usage Validation In Cloud.
Suzana Cândido de Barros Sampaio, Marcelo L. M. Marinho, Hermano P. Moura:
Systematic Review on Project Actuality.
Juan Manuel Parrilla Gutierrez, Trevor Hinkley, James Ward Taylor, Kliment Yanev, Leroy Cronin:
Hardware and Software manual for Evolution of Oil Droplets in a Chemo-Robotic Platform.
Valeria Aman:
Is there any measurable benefit in publishing preprints in the arXiv section Quantitative Biology?
Jiajun Cao, Matthieu Simonin, Gene Cooperman, Christine Morin:
Checkpointing as a Service in Heterogeneous Cloud Environments.
Victor Y. Pan:
Better Late Than Never: Filling a Void in the History of Fast Matrix Multiplication and Tensor Decompositions.

Simone Bova, Florent Capelli, Stefan Mengel, Friedrich Slivovsky:
Expander CNFs have Exponential DNNF Size.
Olesya Mryglod, Ralph Kenna, Yurij Holovatch, Bertrand Berche:
Predicting Results of the Research Excellence Framework using departmental h-Index.
M. M. Aftab Hossain, Riku Jäntti, Cicek Cavdar:
Dimensioning of PA for massive MIMO system with load adaptive number of antennas.
Shuyang Gao, Greg Ver Steeg, Aram Galstyan:
Efficient Estimation of Mutual Information for Strongly Dependent Variables.
Richard Peng, He Sun, Luca Zanetti:
Partitioning Well-Clustered Graphs with k-Means and Heat Kernel.
Moshe Babaioff, Renato Paes Leme, Balasubramanian Sivan:
Price Competition, Fluctuations, and Welfare Guarantees.
Stephen Romansky:
Investigation of the relationship between code change set n-grams and change in energy consumption.

Silvia M. Bianchi, Mariana S. Escalante, Graciela L. Nasini, Levent Tunçel:
Lovász-Schrijver SDP-operator, near-perfect graphs and near-bipartite graphs.
Md. Baharul Islam, Md. Kabirul Islam, Arif Ahmed, Abu Kalam Shamsuddin:
Interactive Digital Learning Materials for Kindergarten Students in Bangladesh.


Ali Ghorbani, Ghazaleh Ghorbani:
Energy Efficient Full Adder Cell Design With Using Carbon Nanotube Field Effect Transistors In 32 Nanometer Technology.
S. Nagaraja, C. J. Prabhakar, P. U. Praveen Kumar:
Parallax Effect Free Mosaicing of Underwater Video Sequence Based on Texture Features.
Shruti Kohli, Ankit Gupta:
Critical Regression Analysis of Real Time Industrial Web Data Set Using Data Mining Tool.
Salah-Eddine Elayoubi, Christine Fricker, Fabrice Guillemin, Philippe Robert, Bruno Sericola:
Impatience in mobile networks and its application to data pricing.
Sarah Berkemer, Ricardo Régis Cavalcante Chaves, Adrian Fritz, Marc Hellmuth, Maribel Hernandez-Rosales, Peter F. Stadler:
Spiders can be recognized by counting their legs.
George Grispos, William Bradley Glisson, J. Harold Pardue, Mike Dickson:
Identifying User Behavior from Residual Data in Cloud-based Synchronized Apps.
Yuanzhang Xiao, Florian Dörfler, Mihaela van der Schaar:
Incentive Design in Peer Review: Rating and Repeated Endogenous Matching.
Haider Al Kim, Shouman Barua, Pantha Ghosal, Kumbesan Sandrasegaran:
Macro with Pico Cells (HetNets) System Behavior Using Well-known scheduling Algorithms.
Simone Cirillo, Stefan Lloyd, Peter Nordin:
Evolving intraday foreign exchange trading strategies utilizing multiple instruments price series.
Nesma Mohssen, Rana Momtaz, Heba Aly, Moustafa Youssef:
It's the Human that Matters: Accurate User Orientation Estimation for Mobile Computing Applications.
Marcos K. Aguilera, Joshua B. Leners, Ramakrishna Kotla, Michael Walfish:
Yesquel: scalable SQL storage for Web applications.
John O. Brevik, Michael E. O'Sullivan:
The Sum-Product Algorithm for Degree-2 Check Nodes and Trapping Sets.
Julieta Martinez, Holger H. Hoos, James J. Little:
Stacked Quantizers for Compositional Vector Compression.
Lianli Gao, Michael Bruenig, Jane Hunter:
Estimating Fire Weather Indices via Semantic Reasoning over Wireless Sensor Network Data Streams.
Lianli Gao, Michael Bruenig, Jane Hunter:
Semantic-based Detection of Segment Outliers and Unusual Events for Wireless Sensor Networks.
Li Ching Liew, Ong Sing Goh:
GeoTravel: Harvesting Ambient Geographic Footprints from GPS Trajectories.
Ahmad Gomaa, Ayman Elezabi, Mohamed Eissa:
A Subspace Method for I/Q Imbalance Estimation in Low-IF Receivers.
Ahmed Badawy, Tamer Khattab, Tarek M. Elfouly, Amr Mohamed, Daniele Trinchero, Carla-Fabiana Chiasserini:
Secret Key Generation Based on AoA Estimation for Low SNR Conditions.
Mehdi Masoudi, Milad Mazaheri, Aliakbar Rezaei, Keivan Navi:
Designing high-speed, low-power full adder cells based on carbon nanotube technology.
Neha V. Karanjkar, Madhav P. Desai:
Optimization of Discrete-parameter Multiprocessor Systems using a Novel Ergodic Interpolation Technique.
Ramy Medhat, Yogi Joshi, Borzoo Bonakdarpour, Sebastian Fischmeister:
Accelerated Runtime Verification of LTL Specifications with Counting Semantics.
Chen Avin, Zvi Lotker, David Peleg, Yvonne Anne Pignolet, Itzik Turkel:
Core-Periphery in Networks: An Axiomatic Approach.
Ognjen Arandjelovic, Duc-Son Pham, Svetha Venkatesh:
Two maximum entropy based algorithms for running quantile estimation in non-stationary data streams.
Khaled M. Elbassioni:
A Polynomial Delay Algorithm for Generating Connected Induced Subgraphs of a Given Cardinality.
Khaled M. Elbassioni:
On Finding Minimal Infrequent Elements in Multi-dimensional Data Defined over Partially Ordered Sets.
Matej Hoffmann, Vincent C. Müller:
Trade-Offs in Exploiting Body Morphology for Control: from Simple Bodies and Model-Based Control to Complex Bodies with Model-Free Distributed Control Schemes.
Venmugil Elango, Fabrice Rastello, Louis-Noël Pouchet, J. Ramanujam, P. Sadayappan:
On Characterizing the Data Access Complexity of Programs.

Joseph A. Fernandez, Vishnu Naresh Boddeti, Andres Rodriguez, B. V. K. Vijaya Kumar:
Zero-Aliasing Correlation Filters for Object Recognition.
Kriti Kumar, Ashley Varghese, Pavan K. Reddy, N. Narendra, Prashanth Swamy, M. Girish Chandra, P. Balamuralidhar:
An Improved Tracking using IMU and Vision Fusion for Mobile Augmented Reality Applications.
Mihai Ionut Stanciu, Stéphane Azou, Emanuel Radoi, Alexandru Serbanescu:
A Statistical Analysis of Multipath Interference for Impulse Radio UWB Systems.

Zahra Derakhshandeh, Robert Gmyr, Andréa W. Richa, Christian Scheideler, Thim Strothmann, Shimrit Tzur-David:
Infinite Object Coating in the Amoebot Model.
Vincenzo Zambianchi, Enrico Paolini, Davide Dardari:
Capacity Achieving Peak Power Limited Probability Measures: Sufficient Conditions for Finite Discreteness.
Shuiyin Liu, Yi Hong, Emanuele Viterbo:
Unshared Secret Key Cryptography: Finite Constellation Inputs and Ideal Secrecy Outage.
Wuqiong Luo, Wee-Peng Tay, Mei Leng:
On the Universality of Jordan Centers for Estimating Infection Sources in Tree Networks.
Pedro M. d'Orey, Nitin Maslekar, Idoia De-la-Iglesia, Nikola K. Zahariev:
NAVI: Neighbor Aware Virtual Infrastructure for Information Dissemination in Vehicular Networks.

Rostyslav Zabolotnyi, Philipp Leitner, Waldemar Hummer, Schahram Dustdar:
JCloudScale: Closing the Gap Between IaaS and PaaS.
Lilya Budaghyan, Alexander Kholosha, Claude Carlet, Tor Helleseth:
Univariate Niho Bent Functions from o-Polynomials.
Kasper Green Larsen, Jelani Nelson:
The Johnson-Lindenstrauss lemma is optimal for linear dimensionality reduction.
Zahra Sabetsarvestani, Hamidreza Amindavar:
Sparse Estimation with Generalized Beta Mixture and the Horseshoe Prior.
Vladimir A. Khlevnoy, Andrey A. Shchurov:
A Formal Approach to Distributed System Security Test Generation.
Manfred Broy, Franz Huber, Barbara Paech, Bernhard Rumpe, Katharina Spies:
Software and System Modeling Based on a Unified Formal Semantics.
Shirin Saeedi Bidokhti, Vinod M. Prabhakaran, Suhas N. Diggavi:
Capacity Results for Multicasting Nested Message Sets over Combination Networks.
Philipp Leitner, Jürgen Cito:
Patterns in the Chaos - a Study of Performance Variation and Predictability in Public IaaS Clouds.
Yifan Zhou, Zhifeng Zhao, Qianlan Ying, Rongpeng Li, Xuan Zhou, Xianfu Chen, Honggang Zhang:
Large-scale Spatial Distribution Identification of Base Stations in Cellular Networks.
Bo-Kai Hsu, Chia-Han Lee, Ping-Cheng Yeh:
On Timing Synchronization for Quantity-based Modulation in Additive Inverse Gaussian Channel with Drift.
Alexandre J. H. de O. Luna, Cleyverson P. Costa, Hermano P. de Moura, Magdala A. Novaes, Cesar A. D. C. do Nascimento:
Agile governance in Information and Communication Technologies: shifting paradigms.
Mengfan Zheng, Meixia Tao, Wen Chen:
Polar Coding for Secure Transmission in MISO Fading Wiretap Channels.
Omer K. Jasim Mohammad, Safia Abbas, El-Sayed M. El-Horbaty, Abdel-Badeeh M. Salem:
A New Trend of Pseudo Random Number Generation using QKD.
Elena Veronica Belmega, Lalitha Sankar, H. Vincent Poor:
Enabling Data Exchange in Interactive State Estimation under Privacy Constraints.

Yeow Meng Chee, Han Mao Kiah, Hui Zhang, Xiande Zhang:
Constructions of Optimal and Near-Optimal Multiply Constant-Weight Codes.
Giorgio Stefanoni, Boris Motik:
Answering Conjunctive Queries over $\mathcal{EL}$ Knowledge Bases with Transitive and Reflexive Roles.
Jianbiao Lin, Yukun Zhong, Xiaowei Lin, Hui Lin, Qiang Zeng:
Hybrid Ant Colony Algorithm Clonal Selection in the Application of the Cloud's Resource Scheduling.
Nima Najari Moghadam, Hamed Farhadi, Per Zetterberg, Majid Nasiri Khormuji, Mikael Skoglund:
Interference Alignment: Practical Challenges and Test-bed Implementation.
Ryan Kiros, Ruslan Salakhutdinov, Richard S. Zemel:
Unifying Visual-Semantic Embeddings with Multimodal Neural Language Models.

Alexandr Andoni, Robert Krauthgamer, Ilya P. Razenshteyn:
Sketching and Embedding are Equivalent for Norms.
Danilo Costarelli, Federico Cluni, Anna Maria Minotti, Gianluca Vinti:
Applications of sampling Kantorovich operators to thermographic images for seismic engineering.

Christina E. Lee, Asuman E. Ozdaglar, Devavrat Shah:
Solving Systems of Linear Equations: Locally and Asynchronously.
Cynthia Dwork, Vitaly Feldman, Moritz Hardt, Toniann Pitassi, Omer Reingold, Aaron Roth:
Preserving Statistical Validity in Adaptive Data Analysis.
Pantha Ghosal, Shouman Barua, Ramprasad Subramanian, Shiqi Xing, Kumbesan Sandrasegaran:
A novel approach for mobility management inf lte femtocells.
Adnan Anwar, Abdun Naser Mahmood:
Vulnerabilities of Smart Grid State Estimation against False Data Injection Attack.
Jiwei Li, Alan Ritter, Dan Jurafsky:
Inferring User Preferences by Probabilistic Logical Reasoning over Social Networks.
Takuya Akiba, Yoichi Iwata:
Branch-and-Reduce Exponential/FPT Algorithms in Practice: A Case Study of Vertex Cover.
Ali Mesbah, Stefan Streif:
A Probabilistic Approach to Robust Optimal Experiment Design with Chance Constraints.
Benjamin Raichel, C. Seshadhri:
A Mountaintop View Requires Minimal Sorting: A Faster Contour Tree Algorithm.
(Withdrawn) Social Cloud: Concept, Current Trends and Future Scope.
Peng Hui Tan, Jingon Joung, Sumei Sun:
Opportunistic Multicast Scheduling for Unicast Transmission in MIMO-OFDM System.
Christina Boucher, Alexander Bowe, Travis Gagie, Simon J. Puglisi, Kunihiko Sadakane:
Variable-Order de Bruijn Graphs.
Zheng Zhou, Mugen Peng, Zhongyuan Zhao, Yong Li:
Joint Power Splitting and Antenna Selection in Energy Harvesting Relay Channels.
Zbynek Koldovský, Jirí Málek, Sharon Gannot:
Spatial Source Subtraction Based on Incomplete Measurements of Relative Transfer Function.
Dusan Jakovetic, Aleksandar Minja, Dragana Bajovic, Dejan Vukobratovic:
Distributed Storage Allocations for Neighborhood-based Data Access.
Tobias Kuhn, Christine Chichester, Michel Dumontier, Michael Krauthammer:
Publishing without Publishers: a Decentralized Approach to Dissemination, Retrieval, and Archiving of Data.
Travis Gagie, Javier I. González-Nova, Susana Ladra, Gonzalo Navarro, Diego Seco:
Faster Compressed Quadtrees.
Linglong Dai, Xinyu Gao, Xin Su, Shuangfeng Han, Chih-Lin I, Zhaocheng Wang:
Low-Complexity Soft-Output Signal Detection Based on Gauss-Seidel Method for Uplink Multi-User Large-Scale MIMO Systems.
Federico Cerutti, Ilias Tachmazidis, Mauro Vallati, Sotiris Batsakis, Massimiliano Giacomin, Grigoris Antoniou:
Exploiting Parallelism for Hard Problems in Abstract Argumentation: Technical Report.
Elena Khramtcova, Sandeep K. Dey, Evanthia Papadopoulou:
Linear-Time Algorithms for the Farthest-Segment Voronoi Diagram and Related Tree Structures.
Saeed Afshar, Libin George, Jonathan Tapson, André van Schaik, Philip de Chazal, Tara Julia Hamilton:
Turn Down that Noise: Synaptic Encoding of Afferent SNR in a Single Spiking Neuron.
Adam B. Barrett:
An exploration of synergistic and redundant information sharing in static and dynamical Gaussian systems.
Alessandro Redondi, Dujdow Buranapanichkit, Matteo Cesana, Marco Tagliasacchi, Yiannis Andreopoulos:
Energy Consumption Of Visual Sensor Networks: Impact Of Spatio-Temporal Coverage.
Matthias Englert, Sandra Siebert, Martin Ziegler:
Logical Limitations to Machine Ethics with Consequences to Lethal Autonomous Weapons.
Philipp Singer, Denis Helic, Andreas Hotho, Markus Strohmaier:
HypTrails: A Bayesian Approach for Comparing Hypotheses about Human Trails.
Aqsa Malik, Junaid Qadir, Basharat Ahmad, Kok-Lim Alvin Yau, Ubaid Ullah:
QoS in IEEE 802.11-based Wireless Networks: A Contemporary Survey.

Mohammad Ashraful Anam, Paul N. Whatmough, Yiannis Andreopoulos:
Precision-Energy-Throughput Scaling Of Generic Matrix Multiplication and Convolution Kernels Via Linear Projections.
Xiaodan Liang, Si Liu, Yunchao Wei, Luoqi Liu, Liang Lin, Shuicheng Yan:
Computational Baby Learning.
Dujdow Buranapanichkit, Nikos Deligiannis, Yiannis Andreopoulos:
Convergence of Desynchronization Primitives in Wireless Sensor Networks: A Stochastic Modeling Approach.
Luminita Cristiana Totu, Rafael Wisniewski, John Leth:
Modeling Populations of Thermostatic Loads with Switching Rate Actuation. 13-21
Rahul Kumar, Ajay Kumar:
Metamorphosis of Fuzzy Regular Expressions to Fuzzy Automata using the Follow Automata.
Ozcan Ozturk, Ravi R. Mazumdar, Nikolay B. Likhanov:
Buffer occupancy asymptotics in rate proportional sharing networks with heterogeneous long-tailed inputs.
Glencora Borradaile, William Sean Kennedy, Gordon T. Wilfong, Lisa Zhang:
Improving Robustness of Next-Hop Routing.
Aaron Halfaker, Oliver Keyes, Daniel Kluver, Jacob Thebault-Spieker, Tien T. Nguyen, Kenneth Shores, Anuradha Uduwage, Morten Warncke-Wang:
User Session Identification Based on Strong Regularities in Inter-activity Time.
Jianxiong Cao, Yangquan Chen, Changpin Li:
Multi-UAV-based Optimal Crop-dusting of Anomalously Diffusing Infestation of Crops.

Mahmood Mohassel Feghhi, Aliazam Abbasfar, Mahtab Mirmohseni:
Performance Analysis for Energy Harvesting Communication Protocols with Fixed Rate Transmission.
Aris Anagnostopoulos, Alessandro Bessi, Guido Caldarelli, Michela Del Vicario, Fabio Petroni, Antonio Scala, Fabiana Zollo, Walter Quattrociocchi:
Viral Misinformation: The Role of Homophily and Polarization.




Valentin E. Brimkov, Konstanty Junosza-Szaniawski, Sean Kafer, Jan Kratochvíl, Martin Pergel, Pawel Rzazewski, Matthew Szczepankiewicz, Joshua Terhaar:
Homothetic Polygons and Beyond: Intersection Graphs, Recognition, and Maximum Clique.
Md. Mamunur Rashid Akand, Mir Tafseer Nayeem, Md. Rokon Uz Zaman Sumon, Muhammad Mahbub Alam:
A Probabilistic Delay Model for Bidirectional VANETs in City Environments.
Amal Saha, Sugata Sanyal:
Analysis of Applicability of ISO 9564 PIN based Authentication to Closed-Loop Mobile Payment Systems.
Xiaowei Zhou, Spyridon Leonardos, Xiaoyan Hu, Kostas Daniilidis:
3D Shape Reconstruction from 2D Landmarks: A Convex Formulation.
Ratnesh Kumbhkar, Narayan B. Mandayam, Ivan Seskar:
HetNetwork Coding: Scaling Throughput in Heterogeneous Networks using Multiple Radio Interfaces.



Ramakrishna Vedantam, C. Lawrence Zitnick, Devi Parikh:
Collecting Image Description Datasets using Crowdsourcing.
Kimberly Barth, David Furcy, Scott M. Summers, Paul Totzke:
Scaled tree fractals do not strictly self-assemble.
Md. Humaun Kabir, Kyung Sup Kwak:
Enhanced Modulation Technique for Molecular Communication: OOMoSK.
Sunil Kumar, Priya Ranjan, R. Radhakrishnan:
EMEEDP: Enhanced Multi-hop Energy Efficient Distributed Protocol for Heterogeneous Wireless Sensor Network.
Jichang Zhao, Xiao Liang, Ke Xu:
Competition Between Homophily and Information Entropy Maximization in Social Networks.
Amal Saha, Sugata Sanyal:
Application Layer Intrusion Detection with Combination of Explicit-Rule- Based and Machine Learning Algorithms and Deployment in Cyber- Defence Program.
Xiaoqiang Ren, Jiming Chen, Karl Henrik Johansson, Ling Shi:
Quickest Change Detection with a Censoring Sensor in the Minimax Setting.
Amit Kumar Mishra, Abhishek Kumar, Dipankar Deb:
Prefrontal Cortex Motivated Cognitive Architecture for Multiple Robots.
Dimitrios Kotzias, Misha Denil, Phil Blunsom, Nando de Freitas:
Deep Multi-Instance Transfer Learning.
Bartlomiej Blaszczyszyn, Paul Mühlethaler:
Interference and SINR coverage in spatial non-slotted Aloha networks.
Marcel Simon, Erik Rodner, Joachim Denzler:
Part Detector Discovery in Deep Convolutional Neural Networks.
Anthony Widjaja Lin, Sanming Zhou:
A linear time algorithm for the orbit problem over cyclic groups.

Swetha P. T. Srinivasan, Umesh Bellur:
Novel Power and Completion Time Models for Virtualized Environments.
Francesco Lettich, Salvatore Orlando, Claudio Silvestri, Christian S. Jensen:
Manycore processing of repeated range queries over massive moving objects observations.
Sandra Servia Rodríguez, Bernardo A. Huberman, Sitaram Asur:
Deciding what to display: maximizing the information value of social media.
Nathaniel Korda, Prashanth L. A.:
On TD(0) with function approximation: Concentration bounds and a centered variant with exponential convergence.

S. N. Omkar, Dheevatsa Mudigere, J. Senthilnath, M. Vijaya Kumar:
Identification of Helicopter Dynamics based on Flight Data using Nature Inspired Techniques.
Yueping Wu, Ying Cui, Bruno Clerckx:
Analysis and Optimization of Inter-tier Interference Coordination in Downlink Multi-Antenna HetNets with Offloading.


Gonzalo Vazquez-Vilar, Adrià Tauste Campo, Albert Guillén i Fàbregas, Alfonso Martinez:
Statistical Hypothesis Testing and Lower Bounds to the Error Probability.


Omid Ghasemalizadeh, Saied Taheri, Amandeep Singh, Jill Goryca:
Semi-active Suspension Control using Modern Methodology: Comprehensive Comparison Study.
Ahmet Erdem Sariyüce, C. Seshadhri, Ali Pinar, Ümit V. Çatalyürek:
Finding the Hierarchy of Dense Subgraphs using Nucleus Decompositions.
Vivek Kulkarni, Rami Al-Rfou', Bryan Perozzi, Steven Skiena:
Statistically Significant Detection of Linguistic Change.

Manas Joglekar, Hector Garcia-Molina, Aditya G. Parameswaran, Christopher Ré:
Exploiting Correlations for Expensive Predicate Evaluation.
Manas Joglekar, Hector Garcia-Molina, Aditya G. Parameswaran:
Comprehensive and Reliable Crowd Assessment Algorithms.
Tom Goldstein, Christoph Studer, Richard G. Baraniuk:
A Field Guide to Forward-Backward Splitting with a FASTA Implementation.
Kwangchol Jang, Sokmin Han, Insong Kim:
Person Re-identification Based on Color Histogram and Spatial Configuration of Dominant Color Regions.
Andris Ambainis, Mohammad Bavarian, Yihan Gao, Jieming Mao, Xiaoming Sun, Song Zuo:
Tighter Relations Between Sensitivity and Other Complexity Measures.
Ghulam Mubashar Hassan, Arcady V. Dyskin, Cara K. MacNish:
A Comparative Study of Techniques of Distant Reconstruction of Displacement Fields by using DISTRESS Simulator.
Yichen Jiang:
Privacy-Preserving Vehicular Announcements Aggregation Scheme Based on Threshold Ring Signature.
Marcello Maria Bersani, Davide Bresolin, Luca Ferrucci, Manuel Mazzara:
Proceedings First Workshop on Logics and Model-checking for Self-* Systems, MOD* 2014, Bertinoro, Italy, 12th September 2014.
Daniel S. Katz, Gabrielle Allen, Neil Chue Hong, Karen Cranston, Manish Parashar, David Proctor, Matthew J. Turk, Colin C. Venters, Nancy Wilkins-Diehr:
Second Workshop on on Sustainable Software for Science: Practice and Experiences (WSSSPE2): Submission, Peer-Review and Sorting Process, and Results.
Marcelo Daniel Berejuck, Antônio Augusto Fröhlich:
Evaluation of silicon consumption for a connectionless Network-on-Chip.
Alireza Mesri, Mahmoud Mahdipour Pirbazari, Khayrollah Hadidi, Abdollah Khoei:
High gain two-stage amplifier with positive capacitive feedback compensation.
Loc V. Tran, Jaehong Lee, H. Nguyen-Van, Hung Nguyen-Xuan, M. Abdel Wahab:
Geometrically nonlinear isogeometric analysis of laminated composite plates based on higher-order shear deformation theory.
Irit Dinur, Prahladh Harsha, Srikanth Srinivasan, Girish Varma:
Derandomized Graph Product Results using the Low Degree Long Code.
Marwan Torki, Mohamed E. Hussein, Ahmed Elsallamy, Mahmoud Fayyaz, Shehab Yaser:
Window-Based Descriptors for Arabic Handwritten Alphabet Recognition: A Comparative Study on a Novel Dataset.
Alessandro Roncone, Ugo Pattacini, Giorgio Metta, Lorenzo Natale:
Gaze Stabilization for Humanoid Robots: a Comprehensive Framework.
Nuno D. Mendes, Pedro T. Monteiro, Jorge Carneiro, Elisabeth Remy, Claudine Chaouiya:
Quantification of reachable attractors in asynchronous discrete dynamics.
Samantha Finn, Panagiotis Takis Metaxas, Eni Mustafaraj:
Investigating Rumor Propagation with TwitterTrails.
Panagiotis Takis Metaxas, Eni Mustafaraj, Kily Wong, Laura Zeng, Megan O'Keefe, Samantha Finn:
Do Retweets indicate Interest, Trust, Agreement? (Extended Abstract).
Prabhsimran Singh, Amritpal Singh:
A Text to Speech (TTS) System with English to Punjabi Conversion.
Maxim Raginsky:
Strong data processing inequalities and $Φ$-Sobolev inequalities for discrete channels.
Avraham Reani, Neri Merhav:
Universal Quantization for Separate Encodings and Joint Decoding of Correlated Sources.
Clément L. Canonne, Venkatesan Guruswami, Raghu Meka, Madhu Sudan:
Communication with Imperfectly Shared Randomness.
Rami Ali Ahmad, Jérôme Lacan, Fabrice Arnal, Mathieu Gineste, Laurence Clarac:
Enhancing satellite system capacity using adaptive HARQ for delay tolerant services in mobile communications.
Yong-Liang Yang, Jun Wang, Niloy J. Mitra:
Mesh2Fab: Reforming Shapes for Material-specific Fabrication.
Alexander Gutfraind, Jeremy Kun, Ádám Dániel Lelkes, Lev Reyzin:
Network installation and recovery: approximation lower bounds and faster exact formulations.

Azin Ashkan, Branislav Kveton, Shlomo Berkovsky, Zheng Wen:
DUM: Diversity-Weighted Utility Maximization for Recommendations.


Linhong Zhu, Greg Ver Steeg, Aram Galstyan:
Scalable Link Prediction in Dynamic Networks via Non-Negative Matrix Factorization.
Qingqing Huang, Rong Ge, Sham M. Kakade, Munther A. Dahleh:
Minimal Realization Problems for Hidden Markov Models.
Daniele Barchiesi, Dimitrios Giannoulis, Dan Stowell, Mark D. Plumbley:
Acoustic Scene Classification.
Mahmood Mohassel Feghhi, Mahtab Mirmohseni, Aliazam Abbasfar:
Power Allocation in the Energy Harvesting Full-Duplex Gaussian Relay Channels.
Azadeh Sheikholeslami, Majid Ghaderi, Hossein Pishro-Nik, Dennis Goeckel:
Minimum Energy Routing in Wireless Networks in the Presence of Jamming.
Ahmed M. Elmisery, Seungmin Rho, Dmitri Botvich:
Holistic Collaborative Privacy Framework for Users' Privacy in Social Recommender Service.
Pavel Hubácek, Sunoo Park:
Cryptographically Blinded Games: Leveraging Players' Limitations for Equilibria and Profit.
Timothy La Fond, Jennifer Neville, Brian Gallagher:
Anomaly Detection in Dynamic Networks of Varying Size.
Delroy Cameron, Amit P. Sheth, Nishita Jaykumar, Krishnaprasad Thirunarayan, Gaurish Anand, Gary A. Smith:
A Hybrid Approach to Finding Relevant Social Media Content for Complex Domain Specific Information Needs.

Donggeng Xia, Shawn Mankad, George Michailidis:
Measuring Influence in Twitter Ecosystems using a Counting Process Modeling Framework.
Ardalan Amiri Sani, Lin Zhong, Dan S. Wallach:
Glider: A GPU Library Driver for Improved System Security.
Francesco Alberti, Silvio Ghilardi, Natasha Sharygina:
Monotonic Abstraction Techniques: from Parametric to Software Model Checking. 1-11
Mario Bravetti, Gianluigi Zavattaro:
Choreographies and Behavioural Contracts on the Way to Dynamic Updates. 12-31
Natalia Olegovna Garanina, Eugene V. Bodin, Elena A. Sidorova:
An Approach to Model Checking of Multi-agent Data Analysis. 32-44
Masaya Suzuki, Takuo Watanabe:
A Language Support for Exhaustive Fault-Injection in Message-Passing System Models. 45-58
Parker Conroy, Daman Bareiss, Matt Beall, Jur P. van den Berg:
3-D Reciprocal Collision Avoidance on Physical Quadrotor Helicopters with On-Board Sensing for Relative Positioning.
Navin Goyal, Luis Rademacher, Santosh Vempala:
Query complexity of sampling and small geometric partitions.
Sandhya Bansal, V. Katiyar:
Integrating Fuzzy and Ant Colony System for Fuzzy Vehicle Routing Problem with Time Windows.
Junzhou Zhao, John C. S. Lui, Don Towsley, Pinghui Wang, Xiaohong Guan:
Tracking Triadic Cardinality Distributions for Burst Detection in Social Activity Streams.
Todor Ivanov, Roberto V. Zicari, Sead Izberovic, Karsten Tolle:
Performance Evaluation of Virtualized Hadoop Clusters.
Mingmin Zhao, Chengxu Zhuang, Yizhou Wang, Tai Sing Lee:
Predictive Encoding of Contextual Relationships for Perceptual Inference, Interpolation and Prediction.
Marco Descher, Thomas Feilhauer, Lucia Amann:
Automated user documentation generation based on the Eclipse application model.
Hirley Alves, Carlos H. M. de Lima, Pedro Henrique Juliano Nardelli, Richard Demo Souza, Matti Latva-aho:
On the Secrecy of Interference-Limited Networks under Composite Fading Channels.
Bomin Jiang, Mohammad Deghat, Brian D. O. Anderson:
Velocity consensus and formation shape control using distance-only measurements.
Hirley Alves, Glauber Gomes de Oliveira Brante, Richard Demo Souza, Daniel Benevides da Costa, Matti Latva-aho:
On the Performance of Secure Full-Duplex Relaying under Composite Fading Channels.
Jozef Gruska, Lvzhou Li, Shenggen Zheng:
Recognizability versus solvability of promise problems in finite, classical and quantum automata, framework.
Krishnendu Chatterjee, Martin Chmelik, Raghav Gupta, Ayush Kanodia:
Optimal Cost Almost-sure Reachability in POMDPs.
Sungjin Im, Nathaniel Kell, Janardhan Kulkarni, Debmalya Panigrahi:
Tight Bounds for Online Vector Scheduling.
Ismael Rodríguez-Fdez, Manuel Mucientes, Alberto Bugarín:
Learning Fuzzy Controllers in Mobile Robotics with Embedded Preprocessing.
Torleiv Maseng, Øivind Kure, Magnus Skjegstad:
Distributed Discovery Clients for Spectrum Allocation.
Joe Alexandersen, Boyan S. Lazarov:
Robust topology optimisation of microstructural details without length scale separation - using a spectral coarse basis preconditioner.
Nihar Athreyas, Zhiguo Lai, Jai Gupta, Dev Gupta:
Analog Signal Processing Solution for Image Alignment.





Y. Liao, Mario Lezoche, Hervé Panetto, Nacer Boudjlida, Eduardo De Freitas Rocha Loures:
Formal Semantic Annotations for Models Interoperability in a PLM environment.

Zhiyun Lu, Avner May, Kuan Liu, Alireza Bagheri Garakani, Dong Guo, Aurélien Bellet, Linxi Fan, Michael Collins, Brian Kingsbury, Michael Picheny, Fei Sha:
How to Scale Up Kernel Methods to Be As Good As Deep Neural Nets.
Miguel Simões, José M. Bioucas-Dias, Luís B. Almeida, Jocelyn Chanussot:
A convex formulation for hyperspectral image superresolution via subspace-based regularization.
Zhongwen Xu, Yi Yang, Alexander G. Hauptmann:
A Discriminative CNN Video Representation for Event Detection.
Ahmed Abdel-Hadi, Mo Ghorbanzadeh, T. Charles Clancy:
Optimal Radio Resource Allocation for Hybrid Traffic in Cellular Networks: Centralized and Distributed Architecture.
Ahmed Abdel-Hadi, Mo Ghorbanzadeh, Charles Clancy:
Optimal Radio Resource Allocation for Hybrid Traffic in Cellular Networks: Traffic Analysis and Implementation.
Liang Dai, Thomas B. Schön:
A new structure exploiting derivation of recursive direct weight optimization.
Sanghamitra Dutta, Arijit De:
LAMP: A Locally Adapting Matching Pursuit Framework for Group Sparse Signatures in Ultra-Wide Band Radar Imaging.
Umair Z. Ahmed, Krishnendu Chatterjee, Sumit Gulwani:
Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games.
Pietro Peterlongo, Massimiliano Sala, Claudia Tinnirello:
A Discrete Logarithm-based Approach to Compute Low-Weight Multiples of Binary Polynomials.
Ahmadreza Baghaie, Roshan M. D'Souza, Zeyun Yu:
Sparse And Low Rank Decomposition Based Batch Image Alignment for Speckle Reduction of retinal OCT Images.
Vladimir Salnikov, Sophie Lemaitre, Daniel Choi, Philippe Karamian-Surville:
Measure of combined effects of morphological parameters of inclusions within composite materials via stochastic homogenization to determine effective mechanical properties.
Jonathan Long, Evan Shelhamer, Trevor Darrell:
Fully Convolutional Networks for Semantic Segmentation.
Todor Ivanov, Raik Niemann, Sead Izberovic, Marten Rosselli, Karsten Tolle, Roberto V. Zicari:
Benchmarking DataStax Enterprise/Cassandra with HiBench.
Quang-Cuong Pham, Stéphane Caron, Puttichai Lertkultanon, Yoshihiko Nakamura:
Planning Truly Dynamic Motions: Path-Velocity Decomposition Revisited.
Mohammad Ali Keyvanrad, Mohammad Mehdi Homayounpour:
Deep Belief Network Training Improvement Using Elite Samples Minimizing Free Energy.
Haonan Yu, Daniel Paul Barrett, Jeffrey Mark Siskind:
A Faster Method for Tracking and Scoring Videos Corresponding to Sentences.
Bishan Yang, Wen-tau Yih, Xiaodong He, Jianfeng Gao, Li Deng:
Learning Multi-Relational Semantics Using Neural-Embedding Models.
Meghana Nasre, Matteo Pontecorvi, Vijaya Ramachandran:
Decremental All-Pairs ALL Shortest Paths and Betweenness Centrality.
Amiraj Dhawan, Shruti Bhave, Amrita Aurora, Vishwanathan Iyer:
Association Rule Based Flexible Machine Learning Module for Embedded System Platforms like Android.
Miriam Redi, Neil O'Hare, Rossano Schifanella, Michele Trevisiol, Alejandro Jaimes:
6 Seconds of Sound and Vision: Creativity in Micro-Videos.

Rahul Sawhney, Henrik I. Christensen, Gary R. Bradski:
Anisotropic Agglomerative Adaptive Mean-Shift.
Qiang Dong, Xi-Jin Zhang, Ning Zhao:
Dynamic aerodynamic-structural coupling numerical simulation on the flexible wing of a cicada based on ansys.
Ha Jong Won, Li Gwang Chol, Kim Hyok Chol, Li Kum Song:
Definition of Visual Speech Element and Research on a Method of Extracting Feature Vector for Korean Lip-Reading.
Jianpeng Cheng, Dimitri Kartsaklis, Edward Grefenstette:
Investigating the Role of Prior Disambiguation in Deep-learning Compositional Models of Meaning.
Jie Xu, Lingjie Duan, Rui Zhang:
Cost-Aware Green Cellular Networks with Energy and Communication Cooperation.
Linglong Dai, Xinyu Gao, Shuangfeng Han, Chih-Lin I, Zhaocheng Wang:
Near-Optimal Linear Precoding with Low Complexity for Massive MIMO.
Ahmed Douik, Hayssam Dahrouj, Tareq Y. Al-Naffouri, Mohamed-Slim Alouini:
Coordinated Scheduling for the Downlink of Cloud Radio-Access Networks.
Peter F. Patel-Schneider:
Using Description Logics for RDF Constraint Checking and Closed-World Recognition.
Manaal Faruqui, Jesse Dodge, Sujay Kumar Jauhar, Chris Dyer, Eduard H. Hovy, Noah A. Smith:
Retrofitting Word Vectors to Semantic Lexicons.
Alexei E. Ashikhmin, Thomas L. Marzetta, Liangbin Li:
Interference Reduction in Multi-Cell Massive MIMO Systems I: Large-Scale Fading Precoding and Decoding.
Liangbin Li, Alexei E. Ashikhmin, Thomas L. Marzetta:
Interference Reduction in Multi-Cell Massive MIMO Systems II: Downlink Analysis for a Finite Number of Antennas.
Marek Cygan, Dániel Marx, Marcin Pilipczuk, Michal Pilipczuk:
Hitting forbidden subgraphs in graphs of bounded treewidth.

Ke Jiang, Qichao Que, Brian Kulis:
Revisiting Kernelized Locality-Sensitive Hashing for Improved Large-Scale Image Retrieval.
Monowar Hasan, Ekram Hossain, Sasitharan Balasubramaniam, Yevgeni Koucheryavy:
Social Behavior in Bacterial Nanonetworks: Challenges and Opportunities.

Xiangyu Zhang, Jianhua Zou, Xiang Ming, Kaiming He, Jian Sun:
Efficient and Accurate Approximations of Nonlinear Convolutional Networks.
Md. Lisul Islam, Swakkhar Shatabda, Mohammad Sohel Rahman:
GreMuTRRR: A Novel Genetic Algorithm to Solve Distance Geometry Problem for Protein Structures.
Chengwen Xing, Feifei Gao, Yiqing Zhou:
A Framework for Transceiver Designs for Multi-Hop Communications with Covariance Shaping Constraints.

Vera Smirnova, Anton V. Proskurnikov, Natalia V. Utina:
Cycle slipping in nonlinear circuits under periodic nonlinearities and time delays.
Vera Smirnova, Anton V. Proskurnikov, Natalia V. Utina:
Estimation of transient process for singularly perturbed synchronization system with distributed parameters.
Shuai Ma, Jia Li, Chunming Hu, Xuelian Lin, Jinpeng Huai:
Big Graph Search: Challenges and Techniques.

Jonathan Tompson, Ross Goroshin, Arjun Jain, Yann LeCun, Christoph Bregler:
Efficient Object Localization Using Convolutional Networks.
Nadhir Ben Rached, Abla Kammoun, Mohamed-Slim Alouini, Raúl Tempone:
An Improved Hazard Rate Twisting Approach for the Statistic of the Sum of Subexponential Variates (Extended Version).
M. R. Avendi, Hamid Jafarkhani:
Differential Distributed Space-Time Coding with Imperfect Synchronization in Frequency-Selective Channels.
Kasra Madadipouya:
An Examination And Report On Potential Methods Of Strategic Location-Based Service Applications On Mobile Networks And Devices.
Rui F. C. Guerreiro:
Combining contextual and local edges for line segment extraction in cluttered images.
Rishita Kalyani:
Application of Multi-core Parallel Programming to a Combination of Ant Colony Optimization and Genetic Algorithm.
Anupama Aggarwal, Ponnurangam Kumaraguru:
What They Do in Shadows: Twitter Underground Follower Market.
Rodrigo Benenson, Mohamed Omran, Jan Hendrik Hosang, Bernt Schiele:
Ten Years of Pedestrian Detection, What Have We Learned?
Benjamin H. Sims, Nikolai Sinitsyn, Stephan Eidenbenz:
Hierarchical and Matrix Structures in a Large Organizational Email Network: Visualization and Modeling Approaches.
Markus Schläpfer, Pierluigi Mancarella:
Probabilistic Modeling and Simulation of Transmission Line Temperatures under Fluctuating Power Flows.
Weipeng Zhang, Jie Shen, Guangcan Liu, Yong Yu:
A Latent Clothing Attribute Approach for Human Pose Estimation.
Tongjiang Yan, Guang Gong:
Some Notes on Constructions of Binary Sequences with Optimal Autocorrelation.
Yabit Alas, Muhammad Anshari:
Constructing Strategy of Online Learning in Higher Education: Transaction Cost Economy.
Yunpeng Wang, Long Cheng, Wei Ren, Zeng-Guang Hou, Min Tan:
Containment Control of Multi-Agent Systems with Dynamic Leaders Based on a $PI^n$-Type Approach.
Vinodh Krishnan Elangovan, Jacob Eisenstein:
Unsupervised Induction of Signed Social Networks from Content and Structure.
Prashant Dahiwale, Mukesh M. Raghuwanshi, Latesh G. Malik:
PDD Crawler: A focused web crawler using link and content analysis for relevance prediction.
Lai Wei, David G. M. Mitchell, Thomas E. Fuja, Daniel J. Costello Jr.:
Design of Spatially Coupled LDPC Codes over GF(q) for Windowed Decoding.
Md. Lisul Islam, Novia Nurain, Swakkhar Shatabda, M. Sohel Rahman:
FGPGA: An Efficient Genetic Approach for Producing Feasible Graph Partitions.

Jeff Donahue, Lisa Anne Hendricks, Sergio Guadarrama, Marcus Rohrbach, Subhashini Venugopalan, Kate Saenko, Trevor Darrell:
Long-term Recurrent Convolutional Networks for Visual Recognition and Description.
Muhammad Asyraf Asbullah, Muhammad Rezal Kamel Ariffin:
Rabin-$p$ Cryptosystem: Practical and Efficient Method for Rabin based Encryption Scheme.
Narayana P. Santhanam, Venkat Anantharam, Aleksandar Kavcic, Wojciech Szpankowski:
Data driven consistency (working title).
S. Chatzis:
A Nonparametric Bayesian Approach Toward Stacked Convolutional Independent Component Analysis.
Luca Bortolussi, Vashti Galpin, Jane Hillston:
Stochastic HYPE: Flow-based modelling of stochastic hybrid systems.
Eduardo D. Castañeda, Adão Silva, Ramiro Sámano-Robles, Atílio Gameiro:
Distributed Linear Precoding and User Selection in Coordinated Multicell Systems.
Jeril Kuriakose, V. Amruth, Swathy Nandhini, V. Abhilash:
Sequestration of Malevolent Anchor Nodes in Wireless Sensor Networks using Mahalanobis Distance.
Alexander Bastounis, Anders C. Hansen:
On the absence of the RIP in real-world applications of compressed sensing and the RIP in levels.
Miao Fan, Deli Zhao, Qiang Zhou, Zhiyuan Liu, Thomas Fang Zheng, Edward Y. Chang:
Errata: Distant Supervision for Relation Extraction with Matrix Completion.
Nikolaos Papanikos, Evangelos Papapetrou:
Deterministic Broadcasting and Random Linear Network Coding in Mobile Ad Hoc Networks.

Paul Laufer, Claudia Wagner, Fabian Flöck, Markus Strohmaier:
Mining cross-cultural relations from Wikipedia - A study of 31 European food cultures.
Basura Fernando, Tatiana Tommasi, Tinne Tuytelaars:
Joint cross-domain classification and subspace learning.
Alexander Knapp, Till Mossakowski, Markus Roggenbach, Martin Glauer:
An Institution for Simple UML State Machines.
Bogdan S. Chlebus, Gianluca De Marco, Dariusz R. Kowalski:
Scalable Wake-up of Multi-Channel Single-Hop Radio Networks.
Diego Calvanese, Giorgio Delzanno, Marco Montali:
Verification of Relational Multiagent Systems with Data Types (Extended Version).
Oriol Vinyals, Alexander Toshev, Samy Bengio, Dumitru Erhan:
Show and Tell: A Neural Image Caption Generator.
Drona Pratap Chandu:
A Parallel Genetic Algorithm for Three Dimensional Bin Packing with Heterogeneous Bins.
Yannick Verdie, Kwang Moo Yi, Pascal Fua, Vincent Lepetit:
TILDE: A Temporally Invariant Learned DEtector.
Ian Post, Chaitanya Swamy:
Linear-Programming based Approximation Algorithms for Multi-Vehicle Minimum Latency Problems.
Pål Grønås Drange, Markus S. Dregi, Fedor V. Fomin, Stephan Kreutzer, Daniel Lokshtanov, Marcin Pilipczuk, Michal Pilipczuk, Felix Reidl, Saket Saurabh, Fernando Sánchez Villaamil, Somnath Sikdar:
Kernelization and Sparseness: the case of Dominating Set.
Parikshit Gopalan, Daniel M. Kane, Raghu Meka:
Pseudorandomness for concentration bounds and signed majorities.

Roope Vehkalahti, Laura Luzzi:
Number field lattices achieve Gaussian and Rayleigh channel capacity within a constant gap.
Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro:
AGREE - Algebraic Graph Rewriting with Controlled Embedding.
Roderick Bloem, Krishnendu Chatterjee, Swen Jacobs, Robert Könighofer:
Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information.
Pascal Vaillant, Jean-Baptiste Lamy:
Using graph transformation algorithms to generate natural language equivalents of icons expressing medical concepts.

Christopher J. C. Burges, Erin Renshaw, Andrzej Pastusiak:
Relations World: A Possibilistic Graphical Model.
Ioannis Caragiannis, George A. Krimpas, Alexandros A. Voudouris:
Aggregating partial rankings with applications to peer grading in massive online open courses.
Antonis S. Rizopoulos, Dimitrios N. Kallergis, George N. Prezerakos:
Security Evaluation for Mail Distribution Systems.
Mohamed E. Hussein, Marwan Torki, Ahmed Elsallamy, Mahmoud Fayyaz:
AlexU-Word: A New Dataset for Isolated-Word Closed-Vocabulary Offline Arabic Handwriting Recognition.
Subodh Paudel, M. Elmtiri, Wil L. Kling, Olivier Le Corre, Bruno Lacarrière:
Pseudo Dynamic Transitional Modeling of Building Heating Energy Demand Using Artificial Neural Network.

Kwangsu Lee, Dong Hoon Lee:
Security Analysis of the Unrestricted Identity-Based Aggregate Signature Scheme.
Zhiding Yu, Wende Zhang, B. V. K. Vijaya Kumar, Dan Levi:
Structured Hough Voting for Vision-based Highway Border Detection.
Reza Rawassizadeh, Prajna Shetty:
Scalable Mining of Daily Behavioral Patterns in Context Sensing Life-Log Data.
Virgil Griffith, Tracey Ho:
Quantifying Redundant Information in Predicting a Target Random Variable.
Kashif Mahmood, Ameen Chilwan, Olav N. Østerbø, Michael Jarschel:
On The Modeling of OpenFlow-based SDNs: The Single Node Case.
David Eigen, Rob Fergus:
Predicting Depth, Surface Normals and Semantic Labels with a Common Multi-Scale Convolutional Architecture.
Cuicui Kang, Shengcai Liao, Yonghao He, Jian Wang, Shiming Xiang, Chunhong Pan:
Cross-Modal Similarity Learning : A Low Rank Bilinear Formulation.
J. Harshan, Frédérique E. Oggier, Anwitaman Datta:
Sparsity Exploiting Erasure Coding for Resilient Storage and Efficient I/O Access in Delta based Versioning Systems.
Min Sheng, Juan Wen, Jiandong Li, Ben Liang:
Correlations of Interference and Link Successes in Heterogeneous Cellular Networks.
Vesa Halava, Reino Niskanen, Igor Potapov:
On Undecidability of Counter Reachability Games in Dimension One.
Fabio L. Traversa, Chiara Ramella, Fabrizio Bonani, Massimiliano Di Ventra:
Memcomputing NP-complete problems in polynomial time using polynomial resources.
Peter T. Breuer, Jonathan P. Bowen:
On the Security of Fully Homomorphic Encryption and Encrypted Computing: Is Division safe?


Farzad Farhadzadeh, Frans M. J. Willems, Sviatoslav Voloshynovskiy:
Information Theoretical Analysis of Identification based on Active Content Fingerprinting.
Jemin Lee, Tony Q. S. Quek:
Hybrid Full-/Half-Duplex System Analysis in Heterogeneous Wireless Networks.
(Withdrawn) Privacy-Preserving Content-Based Image Retrieval in the Cloud.
Ayan Chakrabarti, Ying Xiong, Steven J. Gortler, Todd E. Zickler:
Low-level Vision by Consensus in a Spatial Hierarchy of Regions.
Alejandro Ramos-Soto, Alberto Bugarín, Senén Barro, Juan Taboada:
Linguistic Descriptions for Automatic Generation of Textual Short-Term Weather Forecasts on Real Prediction Data.
Xiaofeng Xu, Li Xiong, Vaidy S. Sunderam, Jinfei Liu, Jun Luo:
Speed Partitioning for Indexing Moving Objects.
Madhav Jha, C. Seshadhri, Ali Pinar:
Path Sampling: A Fast and Provable Method for Estimating 4-Vertex Subgraph Counts.

Hao Fang, Saurabh Gupta, Forrest N. Iandola, Rupesh Kumar Srivastava, Li Deng, Piotr Dollár, Jianfeng Gao, Xiaodong He, Margaret Mitchell, John C. Platt, C. Lawrence Zitnick, Geoffrey Zweig:
From Captions to Visual Concepts and Back.
Etienne Burdet, Morgane Colombert, Denis Morand, Youssef Diab:
Integrated canopy, building energy and radiosity model for 3D urban design.
Xiaolong Wang, David F. Fouhey, Abhinav Gupta:
Designing Deep Networks for Surface Normal Estimation.
Hao Liao, An Zeng, Yi-Cheng Zhang:
Towards an objective ranking in online reputation systems: the effect of the rating projection.
Utkarsh Goel, Mike P. Wittie, Kimberly C. Claffy, Andrew Le:
Survey of End-to-End Mobile Network Measurement Testbeds.
Alina Oprea, Zhou Li, Ting-Fang Yen, Sang H. Chin, Sumayah A. Alrwais:
Detection of Early-Stage Enterprise Infection by Mining Large-Scale Log Data.

Khaled M. Elbassioni, Trung Thanh Nguyen:
Approximation Schemes for Binary Quadratic Programming Problems with Low cp-Rank Decompositions.
Chen Chen, Junzhou Huang, Lei He, Hongsheng Li:
Fast Iteratively Reweighted Least Squares Algorithms for Analysis-Based Sparsity Reconstruction.
Jugal Garg, Ruta Mehta, Vijay V. Vazirani, Sadra Yazdanbod:
Leontief Exchange Markets Can Solve Multivariate Polynomial Equations, Yielding FIXP and ETR Hardness.
Chen Chen, Yeqing Li, Wei Liu, Junzhou Huang:
SIRF: Simultaneous Image Registration and Fusion in A Unified Framework.
Triet Vo Huu, Guevara Noubir:
CBM: A Crypto-Coded Modulation Scheme for Rate Information Concealing and Robustness Boosting.

Kartik Ahuja, Yuanzhang Xiao, Mihaela van der Schaar:
Distributed Interference Management Policies for Heterogeneous Small Cell Networks.
Kartik Ahuja, Simpson Zhang, Mihaela van der Schaar:
Towards a Theory of Societal Co-Evolution: Individualism versus Collectivism.
Peng Wang, Baowen Xu, Yurong Wu, Xiaoyu Zhou:
Link Prediction in Social Networks: the State-of-the-Art.
Ken-ichi Kawarabayashi, Mikkel Thorup:
Deterministic Global Minimum Cut of a Simple Graph in Near-Linear Time.
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
A Complete Refinement Procedure for Regular Separability of Context-Free Languages.
Itsikiantsoa Randrianantenaina, Mustapha Benjillali, Mohamed-Slim Alouini:
Consumption Factor Optimization for Multihop Relaying over Nakagami-m Fading channels.
Qian Wang, Jiaxing Zhang, Sen Song, Zheng Zhang:
Attentional Neural Network: Feature Selection Using Cognitive Feedback.
Walid Berrouk, Ouanes Aissaoui:
A Rewriting Logic Approach for Automatic Composition of Web Services.
A. B. Mutiara, R. Refianti, B. A. Witono:
Developing a SAAS-Cloud Integrated Development Environment (IDE) for C, C++, and Java.
Markus Heinonen, Florence d'Alché-Buc:
Learning nonparametric differential equations with operator-valued kernels and gradient matching.
Jean Marc Kelif, Stéphane Sénécal, Marceau Coupechoux, Constant Bridon:
Analytical Performance Model for Poisson Wireless Networks with Pathloss and Shadowing Propagation.
Hao Fang, Sergiy A. Vorobyov, Hai Jiang:
Performance Limits of Segmented Compressive Sampling: Correlated Samples versus Bits.
Jun Won Choi, Byonghyo Shim:
Statistical Estimation of Block-Sparse Time-Varying Signals from Multiple Measurement Vectors.
Mateusz Malinowski, Mario Fritz:
A Pooling Approach to Modelling Spatial Relations for Image Retrieval and Annotation.
Bernardo Gonçalves, Fábio Porto:
Design-theoretic encoding of deterministic hypotheses as constraints and correlations into U-relational databases.
Vesa Halava:
Another proof of undecidability for the correspondence decision problem - Had I been Emil Post.
Alessandro Venerandi, Giovanni Quattrone, Licia Capra, Daniele Quercia, Diego Sáez-Trumper:
Measuring Urban Deprivation from User Generated Content.
Songwei Fu, Yan Zhang, Yuming Jiang, Chia-Yen Shih, Pedro José Marrón:
An Experimental Study Towards Understanding Data Delivery Performance Over a WSN Link.
Heng Zhang, Yan Zhang, Jia-Huai You:
Existential Rule Languages with Finite Chase: Complexity and Expressiveness.
Farid Merrouch, Meriem Hnida, Mohammed Khalidi Idrissi, Samir Bennani:
Online placement test based on Item Response Theory and IMS Global standards.
Raquel Águeda, Valentin Borozan, Raquel Díaz, Yannis Manoussakis, Leandro Montero:
Proper Hamiltonian Cycles in Edge-Colored Multigraphs.
Alex Pappachen James, Dinesh Sasi Kumar, Arun Ajayan:
Threshold Logic Computing: Memristive-CMOS Circuits for Fast Fourier Transform and Vedic Multiplication.
Swathikiran Sudhakaran, Alex Pappachen James:
Sparse distributed localized gradient fused features of objects.
Juan Miguel Carrascosa, Jakub Mikians, Rubén Cuevas, Vijay Erramilli, Nikolaos Laoutaris:
Understanding Interest-based Behavioural Targeted Advertising.
Zaid Abdi Alkareem Alyasseri, Kadhim Al-Attar, Mazin Nasser:
Parallelize Bubble and Merge Sort Algorithms Using Message Passing Interface (MPI).

Arvind Merwaday, Murat Yuksel, Thomas Quint, Ismail Güvenç, Walid Saad, Naim Kapucu:
Incentivizing Spectrum Sharing via Subsidy Regulations.
Kevin Shih, Wei Di, Vignesh Jagadeesh, Robinson Piramuthu:
Efficient Media Retrieval from Non-Cooperative Queries.
Li Wan, David Eigen, Rob Fergus:
End-to-End Integration of a Convolutional Network, Deformable Parts Model and Non-Maximum Suppression.
Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks:
Ontology Module Extraction via Datalog Reasoning.
Kota Hara, Vignesh Jagadeesh, Robinson Piramuthu:
Fashion Apparel Detection: The Role of Deep Convolutional Neural Network and Pose-dependent Priors.
Usama Mehboob, Junaid Qadir, Salman Ali, Athanasios V. Vasilakos:
Genetic Algorithms in Wireless Networking: Techniques, Applications, and Issues.
Joel Veness, Marc G. Bellemare, Marcus Hutter, Alvin Chua, Guillaume Desjardins:
Compress and Control.
Bolei Zhou, Vignesh Jagadeesh, Robinson Piramuthu:
ConceptLearner: Discovering Visual Concepts from Weakly Labeled Image Collections.
Michelle R. Greene, Abraham P. Botros, Diane M. Beck, Fei-Fei Li:
Visual Noise from Natural Scene Statistics Reveals Human Scene Category Representations.
Ning Cai, Hai-Ying Ma, M. Junaid Khan:
Agent-Based Model for Rural-Urban Migration: A Dynamic Consideration.
Subodh Paudel, Jagan Nath Shrestha, Fernando J. Neto, Jorge A. F. Ferreira, Muna Adhikari:
Optimization of Hybrid PV/Wind Power System for Remote Telecom Station.
Rajalakshmi Nandakumar, Bryce Kellogg, Shyamnath Gollakota:
Wi-Fi Gesture Recognition on Existing Devices.
Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter J. Stuckey:
Stable Model Counting and Its Application in Probabilistic Logic Programming.
Marco Tulio Angulo, Yang-Yu Liu, Jean-Jacques E. Slotine:
Network motifs emerge from interconnections that favor stability.
Andris Ambainis, Yuval Filmus, François Le Gall:
Fast Matrix Multiplication: Limitations of the Laser Method.
Lin Chen, Ruolin Fan, Kaigui Bian, Lin Chen, Mario Gerla, Tao Wang, Xiaoming Li:
On Heterogeneous Neighbor Discovery in Wireless Sensor Networks.
Marius Silaghi, Roussi Roussev:
Recommending the Most Encompassing Opposing and Endorsing Arguments in Debates.
Kunal Talwar, Abhradeep Thakurta, Li Zhang:
Private Empirical Risk Minimization Beyond the Worst Case: The Effect of the Constraint Set Geometry.
Ben Stoddard, Yan Chen, Ashwin Machanavajjhala:
Differentially Private Algorithms for Empirical Machine Learning.
Alexander A. Semenov, Oleg Zaikin, Ilya V. Otpuschennikov:
Using Volunteer Computing for Mounting SAT-based Cryptographic Attacks.
Jennifer Gamble, Harish Chintakunta, Hamid Krim:
Adaptive tracking of representative cycles in regular and zigzag persistent homology.
Farshad Kooti, Gabriel Magno, Ingmar Weber:
The Social Name-Letter Effect on Online Social Networks.

Subhrajit Roy, Amitava Banerjee, Arindam Basu:
Liquid State Machine with Dendritically Enhanced Readout for Low-power, Neuromorphic VLSI Implementations.
Miroslaw Kowaluk:
Planar $β$-skeletons via point location in monotone subdivisions of subset of lunes.
Behzad Asadi, Lawrence Ong, Sarah J. Johnson:
Optimal Coding Schemes for the Three-Receiver AWGN Broadcast Channel with Receiver Message Side Information.
Jeril Kuriakose, V. Amruth, Swathy Nandhini, V. Abhilash:
Identifying Cheating Anchor Nodes using Maximum Likelihood and Mahalanobis Distance.


Andrea Tassi, Ioannis Chatzigeorgiou, Dejan Vukobratovic:
Resource Allocation Frameworks for Network-coded Layered Multimedia Multicast Services.
Meryem Simsek, Mehdi Bennis, Ismail Güvenç:
Learning Based Frequency- and Time-Domain Inter-Cell Interference Coordination in HetNets.
Andrey V. Savchenko:
Maximum Likelihood Directed Enumeration Method in Piecewise-Regular Object Recognition.
José F. Morales, Manuel Carro, Manuel V. Hermenegildo:
Description and Optimization of Abstract Machines in a Dialect of Prolog.
Ernesto Estrada, Francesca Arrigo:
Predicting triadic closure in networks using communicability distance functions.



Xinlei Chen, C. Lawrence Zitnick:
Learning a Recurrent Visual Representation for Image Caption Generation.



Ramakrishna Vedantam, C. Lawrence Zitnick, Devi Parikh:
CIDEr: Consensus-based Image Description Evaluation.
Can Xu, Suleyman Cetintas, Kuang-Chih Lee, Li-Jia Li:
Visual Sentiment Prediction with Deep Convolutional Neural Networks.
Suleyman Cetintas, Luo Si, Yan Ping Xin, Dake Zhang, Joo Young Park, Ron Tzur:
A Joint Probabilistic Classification Model of Relevant and Irrelevant Sentences in Mathematical Word Problems.
Shuai Zhang, Jack Xin:
Minimization of Transformed L_1 Penalty: Theory, Difference of Convex Function Algorithm, and Robust Application in Compressed Sensing.
Steven B. Damelin, Y. Gu, Donald C. Wunsch II, Rui Xu:
Fuzzy Adaptive Resonance Theory, Diffusion Maps and their applications to Clustering and Biclustering.
Ashwin Pananjady, Vivek Kumar Bagaria, Rahul Vaze:
The Online Disjoint Set Cover Problem and its Applications.
Bharath Hariharan, Pablo Andrés Arbeláez, Ross B. Girshick, Jitendra Malik:
Hypercolumns for Object Segmentation and Fine-grained Localization.
Naci Saldi, Tamás Linder, Serdar Yüksel:
Output Constrained Lossy Source Coding with Limited Common Randomness.
Sergey Polyakovskiy, Frank Neumann:
Packing While Traveling: Mixed Integer Programming for a Class of Nonlinear Knapsack Problems.
Tao Li, Pingyi Fan, Ke Xiong, Khaled Ben Letaief:
QoS-distinguished Achievable Rate Region for High Speed Railway Wireless Communications.

Andrew Clark, Basel Alomair, Linda Bushnell, Radha Poovendran:
Global Practical Node and Edge Synchronization in Kuramoto Networks: A Submodular Optimization Framework.

Mitko Veta, Paul J. van Diest, Stefan M. Willems, Haibo Wang, Anant Madabhushi, Angel Cruz-Roa, Fabio A. González, Anders Boesen Lindbo Larsen, Jacob S. Vestergaard, Anders B. Dahl, Dan C. Ciresan, Jürgen Schmidhuber, Alessandro Giusti, Luca Maria Gambardella, F. Boray Tek, Thomas Walter, Ching-Wei Wang, Satoshi Kondo, Bogdan J. Matuszewski, Frédéric Precioso, Violet Snell, Josef Kittler, Teófilo Emídio de Campos, Adnan Mujahid Khan, Nasir M. Rajpoot, Evdokia Arkoumani, Miangela M. Lacle, Max A. Viergever, Josien P. W. Pluim:
Assessment of algorithms for mitosis detection in breast cancer histopathology images.
Assalé Adjé, Pierre-Loïc Garoche, Alexis Werey:
Quadratic Zonotopes: An extension of Zonotopes to Quadratic Arithmetics.

Alex Karrila, Camilla Hollanti:
A Comparison of Skewed and Orthogonal Lattices in Gaussian Wiretap Channels.
Lubin Chang, Baiqing Hu, Jingshu Li, Kailong Li:
Optimization-based Alignment for Strapdown Inertial Navigation System Comparison and Extension.

Shaista Hussain, Shih-Chii Liu, Arindam Basu:
Hardware-Amenable Structural Learning for Spike-based Pattern Classification using a Simple Model of Active Dendrites.
Karel Lenc, Andrea Vedaldi:
Understanding image representations by measuring their equivariance and equivalence.
Giulio Bottegal, Aleksandr Y. Aravkin, Håkan Hjalmarsson, Gianluigi Pillonetto:
Robust EM kernel-based methods for linear system identification.
Collin C. Lutz, Daniel J. Stilwell:
Stability and disturbance attenuation for a switched Markov jump linear system.
Alexey Dosovitskiy, Jost Tobias Springenberg, Thomas Brox:
Learning to Generate Chairs with Convolutional Neural Networks.
M. Zeeshan Zia, Michael Stark, Konrad Schindler:
Towards Scene Understanding with Detailed 3D Object Representations.
Tom C. van der Zanden, Hans L. Bodlaender:
PSPACE-completeness of Bloxorz and of Games with 2-Buttons.
Lavanya Sita Tekumalla, Elaine Cohen:
Reverse Engineering Point Clouds to Fit Tensor Product B-Spline Surfaces by Blending Local Fits.
G. V. Ovchinnikov, D. A. Kolesnikov, Ivan V. Oseledets:
Algebraic reputation model RepRank and its application to spambot detection.
Gan Zheng:
Joint Beamforming Optimization and Power Control for Full-Duplex MIMO Two-way Relay Channel.




Abhishek Kar, Shubham Tulsiani, João Carreira, Jitendra Malik:
Category-Specific Object Reconstruction from a Single Image.
Leo Yu Zhang, Kwok-Wo Wong, Yushu Zhang, Qiuzhen Lin:
Joint Quantization and Diffusion for Compressed Sensing Measurements of Natural Images.
Qi Zhang, Xi Lu, Meizhu Li, Yong Deng, Sankaran Mahadevan:
A new structure entropy of complex networks based on Tsallis nonextensive statistical mechanics.
Tao Li, Pingyi Fan, Khaled Ben Letaief:
Wireless Communication System with RF-based Energy Harvesting: From Information Theory to Green System.
João Carreira, Abhishek Kar, Shubham Tulsiani, Jitendra Malik:
Virtual View Networks for Object Reconstruction.
Mithun Acharya:
Humanizing Software Artifacts: Software Engineering with Intelligent and Social Software Artifacts as our Friends.
Lubin Chang:
Particle Filtering for Attitude Estimation Using a Minimal Local-Error Representation: A Revisit.
Atena Darvishi, Ian Dobson:
Threshold-based monitoring of cascading outages with PMU measurements of area angle.
Kaiqing Zhang, Feifei Gao, Qihui Wu:
Enhanced Multi-Parameter Cognitive Architecture for Future Wireless Communications.
Peyman Siyari, Hassan Aghaeinia:
Distributed Power Control in Multiuser MIMO Networks with Optimal Linear Precoding.
Samantha Leung, Edward Lui:
Bayesian Mechanism Design with Efficiency, Privacy, and Approximate Truthfulness.
Abhishek Sinha, Georgios S. Paschos, Chih-Ping Li, Eytan Modiano:
Throughput-Optimal Broadcast on Directed Acyclic Graphs.
Fidel Barrera-Cruz, Penny E. Haxell, Anna Lubiw:
Morphing Planar Graph Drawings with Unidirectional Moves.
Natarajan Meghanathan:
A Pair-wise Key Distribution Mechanism and Distributed Trust Evaluation Model for Secure Data Aggregation in Mobile Sensor Networks.
Mao Yang, Yong Li, Long Hu, Bo Li, Depeng Jin, Sheng Chen, Zhongjiang Yan:
Cross-Layer Software-Defined 5G Network.
David Balduzzi, Hastagiri Vanchinathan, Joachim M. Buhmann:
Kickback cuts Backprop's red-tape: Biologically plausible credit assignment in neural networks.
Jun Lin, Han Yu, Zhiqi Shen:
Identifying Talented Software Engineering Students through Data-driven Skill Assessment.
Jun Lin, Han Yu, Zhiqi Shen:
An Empirical Analysis of Task Allocation in Scrum-based Agile Programming.
Zhiqi Shen, Ling Yu, Han Yu:
An Evolutionary Approach for Optimizing Hierarchical Multi-Agent System Organization.
Dornoosh Zonoobi, Shahrooz Faghih Roohi, Ashraf A. Kassim:
Low-Rank and Sparse Matrix Decomposition with a-priori knowledge for Dynamic 3D MRI reconstruction.
Akshita Bhandari, Ashutosh Gupta, Debasis Das:
Improvised Apriori Algorithm using frequent pattern tree for real time applications in data mining.
Pedro H. O. Pinheiro, Ronan Collobert:
Weakly Supervised Semantic Segmentation with Convolutional Networks.
Xiaojun Chang, Haoquan Shen, Feiping Nie, Sen Wang, Yi Yang, Xiaofang Zhou:
Compound Rank-k Projections for Bilinear Analysis.
Xiaojun Chang, Yi Yang:
Semi-supervised Feature Analysis by Mining Correlations among Multiple Tasks.

(Withdrawn) Improved Spectral Clustering via Embedded Label Propagation.
Yacine Chitour, Mohamed Harmouche, Salah Laghrouche:
$L_p$-stabilization of integrator chains subject to input saturation using Lyapunov-based homogeneous design.

Miguel Castañeda-Garay, Óscar Belmonte Fernández, Hebert Pérez-Rosés, Antonio Diaz Tula:
Detection of Non-Stationary Photometric Perturbations on Projection Screens.
Naveen Gupta, Anurag Singh, Hocine Cherifi:
Community-based Immunization Strategies for Epidemic Control.



Mehryar Mohri, Andres Muñoz Medina:
Revenue Optimization in Posted-Price Auctions with Strategic Buyers.
Nematollah Kayhan Batmanghelich, Gerald Quon, Alex Kulesza, Manolis Kellis, Polina Golland, Luke Bornn:
Diversifying Sparsity Using Variational Determinantal Point Processes.
Xiaojun Chang, Feiping Nie, Zhigang Ma, Yi Yang, Xiaofang Zhou:
A Convex Formulation for Spectral Shrunk Clustering.
James R. Lee, Prasad Raghavendra, David Steurer:
Lower bounds on the size of semidefinite programming relaxations.
Meryem Saadoune, Abdelmajid Hajami, Hakim Allali:
Distance's Quantification Algorithm in AODV Protocol.
Debadeepta Dey, Kumar Shaurya Shankar, Sam Zeng, Rupesh Mehta, M. Talha Agcayazi, Christopher Eriksen, Shreyansh Daftry, Martial Hebert, J. Andrew Bagnell:
Vision and Learning for Deliberative Monocular Cluttered Flight.

Thalaiyasingam Ajanthan, Richard I. Hartley, Mathieu Salzmann, Hongdong Li:
Iteratively Reweighted Graph Cut for Multi-label MRFs with Non-convex Priors.
Junxiong Wang, Hongzhi Wang, Chenxu Zhao:
A Hybrid Solution to improve Iteration Efficiency in the Distributed Learning.
Ahmad Beirami, Mohsen Sardari, Faramarz Fekri:
Packet-Level Network Compression: Realization and Scaling of the Network-Wide Benefits.
Baptiste Wicht, Roberto A. Vitillo, Dehao Chen, David Levinthal:
Hardware Counted Profile-Guided Optimization.
Ha Jong Won, Choe Chun Hwa, Li Kum Song:
On the mathematic modeling of non-parametric curves based on cubic Bézier curves.
Yichong Xu, Tianjun Xiao, Jiaxing Zhang, Kuiyuan Yang, Zheng Zhang:
Scale-Invariant Convolutional Neural Networks.
Erik D. Demaine, David Eppstein, Adam Hesterberg, Hiro Ito, Anna Lubiw, Ryuhei Uehara, Yushi Uno:
Folding a Paper Strip to Minimize Thickness.
Ali Akkaya, Huseyin Birkan Yilmaz, Chan-Byoung Chae, Tuna Tugcu:
Effect of Receptor Density and Size on Signal Reception in Molecular Communication via Diffusion with an Absorbing Receiver.
Fayao Liu, Chunhua Shen, Guosheng Lin:
Deep Convolutional Neural Fields for Depth Estimation from a Single Image.
Lingqiao Liu, Chunhua Shen, Lei Wang, Anton van den Hengel, Chao Wang:
Encoding High Dimensional Local Features by Sparse Coding Based Fisher Vectors.
H. Bjorgvinsdottir, P. M. Bentley:
Warp2: A Method of Email and Messaging with Encrypted Addressing and Headers.
Tianjun Xiao, Yichong Xu, Kuiyuan Yang, Jiaxing Zhang, Yuxin Peng, Zheng Zhang:
The Application of Two-level Attention Models in Deep Convolutional Neural Network for Fine-grained Image Classification.
Derek Doran, Swapna S. Gokhale, Aldo Dagnino:
Understanding Common Perceptions from Online Social Media.
Guillaume Verdier, Jean-Baptiste Raclet:
Quotient of Acceptance Specifications under Reachability Constraints.
May Moussa, Fotis Foukalas, Tamer Khattab:
Interference Cancellation trough Interference Alignment for Downlink of Cognitive Cellular Networks.
Bho Matthiesen, Alessio Zappone, Eduard A. Jorswieck:
Design of 3-Way Relay Channels for Throughput and Energy Efficiency.
Roy Friedman, Michel Raynal, François Taïani:
Fisheye Consistency: Keeping Data in Synch in a Georeplicated World.
Arnau Raventos, Raul Quijada, Luis Torres, Francesc Tarres:
Automatic Summarization of Soccer Highlights Using Audio-visual Descriptors.
Ali Sharif Razavian, Hossein Azizpour, Atsuto Maki, Josephine Sullivan, Carl Henrik Ek, Stefan Carlsson:
Persistent Evidence of Local Image Properties in Generic ConvNets.
Tie Luo, Mehul Motani, Vikram Srinivasan:
Energy-Efficient Strategies for Cooperative Multi-Channel MAC Protocols.
Nathan Adelgren, Pietro Belotti, Akshay Gupte:
Efficient storage of Pareto points in biobjective mixed integer programming.
Mansoor I. Yousefi, Frank R. Kschischang, Gerhard Kramer:
Kolmogorov-Zakharov Model for Optical Fiber Communication.
Rita Tse, Yubin Xiao, Giovanni Pau, Marco Roccetti, Serge Fdida, Gustavo Marfia:
On the Feasibility of Social Network-based Pollution Sensing in ITSs.
David Pastor-Escuredo, Alfredo Morales-Guzmán, Yolanda Torres-Fernández, Jean-Martin Bauer, Amit Wadhwa, Carlos Castro-Correa, Liudmyla Romanoff, Jong Gun Lee, Alex Rutherford, Vanessa Frías-Martínez, Nuria Oliver, Enrique Frías-Martínez, Miguel A. Luengo-Oroz:
Flooding through the lens of mobile phone activity.
Aleksander Reznik, Vitaly Efimov, Aleksander Soloview, Andrey Torgov:
The Solving of the Problems with Random Division of an Interval with Use of Computer Analytic Programs.
Amir Zandieh, Alireza Zareian, Masoumeh Azghani, Farokh Marvasti:
Reconstruction of Sub-Nyquist Random Sampling for Sparse and Multi-Band Signals.
Guy Bresler, George H. Chen, Devavrat Shah:
A Latent Source Model for Online Collaborative Filtering.
David Tolpin, Oded Betzalel, Ariel Felner, Solomon Eyal Shimony:
Rational Deployment of Multiple Heuristics in IDA.
Benedikt Bollig, Peter Habermehl, Martin Leucker, Benjamin Monmege:
A Robust Class of Data Languages and an Application to Learning.
Zhen-Zhong Lan, Ming Lin, Xuanchong Li, Alexander G. Hauptmann, Bhiksha Raj:
Beyond Gaussian Pyramid: Multi-skip Feature Stacking for Action Recognition.
Ho-Lin Chen, David Doty, Ján Manuch, Arash Rafiey, Ladislav Stacho:
Pattern overlap implies runaway growth in hierarchical tile systems.
Federico Leva:
From orphan works, a new role of libraries for the public domain and public interest (Dalle opere orfane, un nuovo ruolo delle biblioteche per il pubblico dominio e l'utilità sociale).
Paul Patras, Andres Garcia-Saavedra, David Malone, Douglas J. Leith:
Rigorous and Practical Proportional-fair Allocation for Multi-rate Wi-Fi.
Yangfeng Ji, Jacob Eisenstein:
One Vector is Not Enough: Entity-Augmented Distributional Semantics for Discourse Relations.
Bikash Chandra, Amol Bhangadia, Bhupesh Chawda, Biplab Kar, K. V. Maheshwara Reddy, Shetal Shah, S. Sudarshan:
Data Generation for Testing and Grading SQL Queries.
Emily L. Spratt, Ahmed M. Elgammal:
The Digital Humanities Unveiled: Perceptions Held by Art Historians and Computer Scientists about Computer Vision Technology.
Marc Solanas, Julio Hernandez-Castro, Debojyoti Dutta:
Detecting fraudulent activity in a cloud using privacy-friendly data aggregates.
Haipeng Luo, Patrick Haffner, Jean-François Paiement:
Accelerated Parallel Optimization Methods for Large Scale Machine Learning.
Haider Ali Jasim Alshamary, Tareq Y. Al-Naffouri, Alam Zaib, Weiyu Xu:
Optimal non-coherent data detection for massive SIMO wireless systems: A polynomial complexity solution.
Chaitanya Ahuja, Karan Nathwani, Rajesh M. Hegde:
A Complex Matrix Factorization approach to Joint Modeling of Magnitude and Phase for Source Separation.
Tie Luo, Mehul Motani, Vikram Srinivasan:
Analyzing DISH for Multi-Channel MAC Protocols in Wireless Networks.
Xiaosong Hu, Wen Zhu, Qing Li:
HCRS: A hybrid clothes recommender system based on user ratings and product features.

Debajyoti Mukhopadhyay, Juhi Jariwala, Payal Innani, Sheetal Bablani, Sushama Kothawale:
A Tool to Automate the Sizing of Application Process for SOA based Platform.
Peng Peng, Lei Zou, M. Tamer Özsu, Lei Chen, Dongyan Zhao:
Processing SPARQL Queries Over Linked Data-A Distributed Graph-based Approach.

Debajyoti Mukhopadhyay, Ashay Shirwadkar, Pratik Gaikar, Tanmay Agrawal:
Securing the Data in Clouds with Hyperelliptic Curve Cryptography.
Debajyoti Mukhopadhyay, Chetan Agrawal, Devesh Maru, Pooja Yedale, Pranav Gadekar:
Addressing NameNode Scalability Issue in Hadoop Distributed File System using Cache Approach.
Laxmi Lahoti, Chaitali Chandankhede, Debajyoti Mukhopadhyay:
Modified Apriori Approach for Evade Network Intrusion Detection System.
Minquan Cheng, Hung-Lin Fu, Jing Jiang, Yuan-Hsun Lo, Ying Miao:
Codes with the Identifiable Parent Property for Multimedia Fingerprinting.
Tie Luo, Vikram Srinivasan, Mehul Motani:
A Metric for DISH Networks: Analysis, Implications, and Applications.
I. S. Terekhov, S. S. Vergeles, S. K. Turitsyn:
Conditional probability calculations for the nonlinear Schrödinger equation with additive noise.
Martin Pereira-Fariña:
Some Reflections on the Set-based and the Conditional-based Interpretations of Statements in Syllogistic Reasoning.
Katharina T. Huber, Leo van Iersel, Vincent Moulton, Céline Scornavacca, Taoyang Wu:
Reconstructing phylogenetic level-1 networks from nondense binet and trinet sets.
Ágnes Cseh, Brian C. Dean:
Improved Algorithmic Results for Unsplittable Stable Allocation Problems.
James Gerald Holland Whiting, Ben de Lacy Costello, Andrew Adamatzky:
Physarum Chip: Developments in growing computers from slime mould.
Mircea Cimpoi, Subhransu Maji, Andrea Vedaldi:
Deep convolutional filter banks for texture recognition and segmentation.
Perla Maiolino, Marco Maggiali, Giorgio Cannata, Giorgio Metta, Lorenzo Natale:
A Flexible and Robust Large Scale Capacitive Tactile System for Robots.
Amina Dik, Khalid Jebari, Abdelaziz Bouroumi, Aziz Ettouhami:
Similarity- based approach for outlier detection.
Akitoshi Kawamura, Makoto Soejima:
Simple strategies versus optimal schedules in multi-agent patrolling.
Emre Biyikli, Albert C. To:
Proportional Topology Optimization: A new non-gradient method for solving stress constrained and minimum compliance problems and its implementation in MATLAB.
Carlos Andrés Viteri-Mera, Fernando L. Teixeira:
Equalized Time Reversal Beamforming for Indoor Wireless Communications.
Kim J. L. Nevelsteen:
Applying GIS Concepts to a Pervasive Game: Spatiotemporal Modeling and Analysis Using the Triad Representational Framework.
Hamid Izadinia, Ali Farhadi, Aaron Hertzmann, Matthew D. Hoffman:
Image Classification and Retrieval from User-Supplied Tags.
Julien Hubert, Takashi Ikegami:
Short-Term Memory Through Persistent Activity: Evolution of Self-Stopping and Self-Sustaining Activity in Spiking Neural Networks.
Henning Fernau, Alejandro López-Ortiz, Jazmín Romero:
Kernelization Algorithms for Packing Problems Allowing Overlaps.
Jorge Caravantes, Maria de los Angeles Gomez-Molleda, Laureano González-Vega:
A canonical form for the continuous piecewise polynomial functions.
Jianbiao Lin, Ke Ji, Hui Lin, Enyan Wu, Xin Gao:
A Tag Identification Approach Based On Fragile Watermark.
Philipp Hanslovsky, John A. Bogovic, Stephan Saalfeld:
Post-acquisition image based compensation for thickness variation in microscopy section series.
Mohit Sinha, Florian Dörfler, Brian B. Johnson, Sairaj V. Dhople:
Uncovering Droop Control Laws Embedded Within the Nonlinear Dynamics of Van der Pol Oscillators.
Venkatesan Guruswami, Ameya Velingker:
An Entropy Sumset Inequality and Polynomially Fast Convergence to Shannon Capacity Over All Alphabets.
Diego Arenas, Remy Chevirer, Saïd Hanafi, Joaquin Rodriguez:
Solving the Periodic Timetabling Problem using a Genetic Algorithm.
Xianwen Wang, Zhichao Fang, Yang Yang:
Continuous, Dynamic and Comprehensive Article-Level Evaluation of Scientific Literature.
Guy Van den Broeck, Karthika Mohan, Arthur Choi, Judea Pearl:
Efficient Algorithms for Bayesian Network Parameter Learning from Incomplete Data.
Glencora Borradaile, David Eppstein, Amir Nayyeri, Christian Wulff-Nilsen:
All-Pairs Minimum Cuts in Near-Linear Time for Surface-Embedded Graphs.
Hong Zhao, Yifan Chen, Rui Wang, Hafiz Malik:
Audio Splicing Detection and Localization Using Environmental Signature.
Aditya Siripuram, William Wu, Brad Osgood:
Discrete Sampling and Interpolation: Orthogonal Interpolation for Discrete Bandlimited Signals.


Donggun Kim, Gilwon Lee, Youngchul Sung:
Two-Stage Beamformer Design for Massive MIMO Downlink By Trace Quotient Formulation.

Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous:
Program certification with computational effects.
Luca Gherardi, Nico Hochgeschwender, Christian Schlegel, Ulrik Pagh Schultz, Serge Stinckwich:
Proceedings of the Fifth International Workshop on Domain-Specific Languages and Models for Robotic Systems (DSLRob 2014).
Martin Pereira-Fariña, Juan Carlos Vidal, Félix Díaz-Hermida, Alberto Bugarín:
A Fuzzy Syllogistic Reasoning Schema for Generalized Quantifiers.
Richard Prideaux Evans, Martin Berger:
Cathoristic logic: A modal logic of incompatible propositions.
Søren Dahlgaard, Mathias Bæk Tejs Knudsen, Eva Rotenberg, Mikkel Thorup:
Hashing for statistics over k-partitions.
Fotis Foukalas, George T. Karetsos:
Collision Avoidance in TV White Spaces: A Cross-layer Design Approach for Cognitive Radio Networks.
Ulf Gustavsson, César Sánchéz-Perez, Thomas Eriksson, Fredrik Athley, Giuseppe Durisi, Per N. Landin, Katharina Hausmair, Christian Fager, Lars Svensson:
On the Impact of Hardware Impairments on Massive MIMO.
Daniel Fett, Ralf Küsters, Guido Schmitz:
Analyzing the BrowserID SSO System with Primary Identity Providers Using an Expressive Model of the Web.
Tommaso Foggi, Giulio Colavolpe, Alberto Bononi, Paolo Serena:
Spectral Efficiency Optimization in Flexi-Grid Long-Haul Optical Systems.
Michele Garetto, Emilio Leonardi, Stefano Traverso:
Efficient analysis of caching strategies under dynamic content popularity.
Abdelkader Baaziz, Luc Quoniam:
Patents used by NPE as an Open Information System in Web 2.0 - Two mini case studies.
Takanori Maehara, Mitsuru Kusumoto, Ken-ichi Kawarabayashi:
Efficient SimRank Computation via Linearization.
Kirk Y. W. Scheper, Sjoerd Tijmons, Coen C. de Visser, Guido C. H. E. de Croon:
Behaviour Trees for Evolutionary Robotics.
Rinat Ben Avraham, Matthias Henze, Rafel Jaume, Balázs Keszegh, Orit E. Raz, Micha Sharir, Igor Tubis:
Partial-Matching and Hausdorff RMS Distance Under Translation: Combinatorics and Algorithms.


Carla-Fabiana Chiasserini, Michele Garetto, Emilio Leonardi:
De-anonymizing scale-free social networks by percolation graph matching.
Barna Saha:
Faster Language Edit Distance, Connection to All-pairs Shortest Paths and Related Problems.
Mohammed Ahmed Talab, Siti Norul Huda Sheikh Abdullah, Bilal Bataineh:
Edge direction matrixes-based local binar patterns descriptor for shape pattern recognition.
Jennifer Gamble, Harish Chintakunta, Hamid Krim:
Coordinate-Free Quantification of Coverage in Dynamic Sensor Networks.
Rohit Gurjar, Arpita Korwar, Nitin Saxena, Thomas Thierauf:
Deterministic Identity Testing for Sum of Read Once ABPs.
A. B. M. Moniruzzaman:
NewSQL: Towards Next-Generation Scalable RDBMS for Online Transaction Processing (OLTP) for Big Data Management.
A. B. M. Moniruzzaman:
Analysis of Memory Ballooning Technique for Dynamic Memory Management of Virtual Machines (VMs).
Jayadev Acharya, Clément L. Canonne, Gautam Kamath:
A Chasm Between Identity and Equivalence Testing with Conditional Queries.
Jasleen Kaur, Emilio Ferrara, Filippo Menczer, Alessandro Flammini, Filippo Radicchi:
Impact, productivity, and scientific excellence.
Arash Farzan, Alejandro López-Ortiz, Patrick K. Nicholson, Alejandro Salinger:
Algorithms in the Ultra-Wide Word Model.
Benjamin Klein, Guy Lev, Gil Sadeh, Lior Wolf:
Fisher Vectors Derived from Hybrid Gaussian-Laplacian Mixture Models for Image Annotation.

Ju Ren, Yaoxue Zhang, Kuan Zhang, Xuemin Shen:
SACRM: Social Aware Crowdsourcing with Reputation Management in Mobile Sensing.
Bernardo Gonçalves, Frederico C. da Silva, Fábio Porto:
$Υ$-DB: A system for data-driven hypothesis management and analytics.
Masashi Wakaiki, Yutaka Yamamoto:
Output Feedback Stabilization of Switched Linear Systems with Limited Information.
Stefano Ermon, Ronan Le Bras, Santosh K. Suram, John M. Gregoire, Carla P. Gomes, Bart Selman, Robert Bruce van Dover:
Pattern Decomposition with Complex Combinatorial Constraints: Application to Materials Discovery.
Santiago Segarra, Weiyu Huang, Alejandro Ribeiro:
Diffusion and Superposition Distances for Signals Supported on Networks.
Tao Han, Chao Xu, Ryan C. Loxton, Lei Xie:
Bi-objective Optimization for Robust RGB-D Visual Odometry.
Hui Li, Chunhua Shen, Anton van den Hengel, Qinfeng Shi:
Worst-Case Linear Discriminant Analysis as Scalable Semidefinite Feasibility Problems.
Bharath Pattabiraman, Md. Mostofa Ali Patwary, Assefaw Hadish Gebremedhin, Wei-keng Liao, Alok N. Choudhary:
Fast Algorithms for the Maximum Clique Problem on Massive Graphs with Applications to Overlapping Community Detection.
Tehuan Chen, Chao Xu, Zhigang Ren, Ryan C. Loxton:
Optimal Boundary Control for Water Hammer Suppression in Fluid Transmission Pipelines.
Lingqiao Liu, Chunhua Shen, Anton van den Hengel:
The Treasure beneath Convolutional Layers: Cross-convolutional-layer Pooling for Image Classification.
Lopamudra Dey, Sanjay Chakraborty:
Canonical PSO Based k-Means Clustering Approach for Real Datasets.
Pingzhong Tang, Yifeng Teng, Zihe Wang, Shenke Xiao, Yichong Xu:
Settling the open problems in Kleinberg-Oren time-inconsistent planning models.
I. S. Terekhov, A. V. Reznichenko, S. K. Turitsyn:
Mutual information in nonlinear communication channel: Analytical results in large SNR limit.
Christopher D. Rosin:
Unweighted Stochastic Local Search can be Effective for Random CSP Benchmarks.
Abhijit Bhattacharya, Sanjay Motilal Ladwa, Rachit Srivastava, Aniruddha Mallya, Akhila Rao, Easwar Vivek. M, Deeksha G. Rao Sahib, S. V. R. Anand, Anurag Kumar:
SmartConnect: A System for the Design and Deployment of Wireless Sensor Networks.
Rafael Mendes de Oliveira, Amir Shpilka, Ben Lee Volk:
Subexponential Size Hitting Sets for Bounded Depth Multilinear Formulas.
Mijail Borges-Quintana, Miguel Angel Borges-Trenard, Edgar Martínez-Moro:
On zero neighbours and trial sets of linear codes.
Akshay MS, Suhas Mohan, Vincent Kuri, Dinkar Sitaram, H. L. Phalachandra:
Efficient Support of Big Data Storage Systems on the Cloud.
Martin Pereira-Fariña, Félix Díaz-Hermida, Alberto Bugarín:
On the analysis of set-based fuzzy quantified reasoning using classical syllogistics.
Saif Khan Mohammed, Erik G. Larsson:
Improving the Performance of the Zero-Forcing Multiuser MISO Downlink Precoder through User Grouping.
Sudarshan Mukherjee, Saif Khan Mohammed:
Constant-Envelope Precoding with Time-Variation Constraint on the Transmitted Phase Angles.
Malte Probst, Franz Rothlauf, Jörn Grahl:
Scalability of using Restricted Boltzmann Machines for Combinatorial Optimization.
Peng Wang, Chunhua Shen, Anton van den Hengel:
Large-scale Binary Quadratic Optimization Using Semidefinite Relaxation and Applications.


Ahmad Beirami, Liling Huang, Mohsen Sardari, Faramarz Fekri:
Universal Compression of a Mixture of Parametric Sources with Side Information.
Rahul Arora, Ashu Gupta, Rohit Gurjar, Raghunath Tewari:
Derandomizing Isolation Lemma for $K_{3, 3}$-free and $K_5$-free Bipartite Graphs.

Sayalee Narkhede, Trupti Baraskar, Debajyoti Mukhopadhyay:
Analyzing Web Application Log Files to Find Hit Count Through the Utilization of Hadoop MapReduce in Cloud Computing Environment.
Raghvendra Mall, Rocco Langone, Johan A. K. Suykens:
Multilevel Hierarchical Kernel Spectral Clustering for Real-Life Large Scale Complex Networks.
Mounir Omari, Mohammed El Hassouni, Abdelkaher Ait Abdelouahad, Hocine Cherifi:
A statistical reduced-reference method for color image quality assessment.
A. B. M. Moniruzzaman, Md. Waliullah, Md. Sadekur Rahman:
A High Availability Clusters Model Combined with Load Balancing and Shared Storage Technologies for Web Servers.
A. B. M. Moniruzzaman, Md. Sadekur Rahman:
Analysis of Topology Based Routing Protocols for Vehicular Ad-Hoc Network (VANET).
Stephan Schmidt:
A Two Stage CVT / Eikonal Convection Mesh Deformation Approach for Large Nodal Deformations.
Stefano Soatto:
Visual Scene Representations: Sufficiency, Minimality, Invariance and Approximations.
Mounir Omari, Mohammed El Hassouni, Hocine Cherifi, Abdelkaher Ait Abdelouahad:
On color image quality assessment using natural image statistics.
Antonio Capone, Carmelo Cascone, Alessandro Q. T. Nguyen, Brunilde Sansò:
Detour Planning for Fast and Reliable Failure Recovery in SDN with OpenState.
Marius Leordeanu, Alexandra Radu, Rahul Sukthankar:
Features in Concert: Discriminative Feature Selection meets Unsupervised Clustering.

Anita Zbieg, Blazej Zak, Jaroslaw Jankowski, Radoslaw Michalski, Sylwia Ciuberek:
Studying Diffusion of Viral Content at Dyadic Level.
Blazej Zak, Anita Zbieg:
Model for simulating mechanisms responsible of similarities between people connected in networks of social relations.
Chandrajit L. Bajaj, Abhishek Bhowmick, Eshan Chattopadhyay, David Zuckerman:
On Low Discrepancy Samplings in Product Spaces of Motion Groups.
Samiksha Shukla, G. Sadashivappa, Durgesh Kumar Mishra:
Simulation of Collision Resistant Secure Sum Protocol.
Bartlomiej Blaszczyszyn, Miodrag Jovanovic, Mohamed Kadhem Karray:
Performance laws of large heterogeneous cellular networks.
Aaron L. F. Han, Derek F. Wong, Lidia S. Chao:
Password Cracking and Countermeasures in Computer Security: A Survey.
Jiehua Chen, Piotr Faliszewski, Rolf Niedermeier, Nimrod Talmon:
Elections with Few Voters: Candidate Control Can Be Easy.
Murat Güzeltepe:
Erratum to "Lattice constellation and codes from quadratic number fields" [IEEE Trans. Inform. Theory, vol. 47, No. 4, May. 2001].
Arijit Bishnu, Sameer Desai, Arijit Ghosh, Mayank Goswami, Subhabrata Paul:
Uniformity of point samples in metric spaces using gap ratio.
Vivi Nastase, Angela Fahrni:
Coarse-grained Cross-lingual Alignment of Comparable Texts with Topic Models and Encyclopedic Knowledge.
Philippe Balbiani, Andreas Herzig, François Schwarzentruber, Nicolas Troquard:
DL-PA and DCL-PC: model checking and satisfiability problem are indeed in PSPACE.
Laurent Bulteau, Stefan Fafianie, Vincent Froese, Rolf Niedermeier, Nimrod Talmon:
The Complexity of Finding Effectors.
Stefano Dissegna, Francesco Logozzo, Francesco Ranzato:
An Abstract Interpretation-based Model of Tracing Just-In-Time Compilation.
Luca Del Pero, Susanna Ricco, Rahul Sukthankar, Vittorio Ferrari:
Articulated motion discovery using pairs of trajectories.
Pierangelo di Sanzo, Francesco Quaglia, Bruno Ciciani, Alessandro Pellegrini, Diego Didona, Paolo Romano, Roberto Palmieri, Sebastiano Peluso:
A Flexible Framework for Accurate Simulation of Cloud In-Memory Data Stores.
Artem Rozantsev, Vincent Lepetit, Pascal Fua:
On Rendering Synthetic Images for Training an Object Detector.


Tamara Polajnar, Laura Rimell, Stephen Clark:
Using Sentence Plausibility to Learn the Semantics of Transitive Verbs.
Alberto Tarable, Alessandro Nordio, Emilio Leonardi, Marco Ajmone Marsan:
The Importance of Being Earnest in Crowdsourcing Systems.
Tal Hassner, Shai Harel, Eran Paz, Roee Enbar:
Effective Face Frontalization in Unconstrained Images.
Matthias Kormaksson, Luciano Barbosa, Marcos R. Vieira, Bianca Zadrozny:
Bus Travel Time Predictions Using Additive Models.
Kevin Waugh, Dustin Morrill, J. Andrew Bagnell, Michael Bowling:
Solving Games with Functional Regret Estimation.
Vu Pham, Laurent El Ghaoui, Arturo Fernández:
Robust sketching for multiple square-root LASSO problems.
Ines Klimann, Matthieu Picantin, Dmytro Savchuk:
Orbit automata as a new tool to attack the order problem in automaton groups.
Taposh Banerjee, Venugopal V. Veeravalli:
Data-Efficient Quickest Outlying Sequence Detection in Sensor Networks.
Timothy P. Lillicrap, Daniel Cownden, Douglas B. Tweed, Colin J. Akerman:
Random feedback weights support learning in deep neural networks.
Akshay Soni, Swayambhoo Jain, Jarvis D. Haupt, Stefano Gonella:
Noisy Matrix Completion under Sparse Factor Models.


Babak Fotouhi, Naghmeh Momeni:
Non-trivial Inter-layer Degree Correlations in Heterogeneously Growing Multiplex Networks.
Mert Pilanci, Martin J. Wainwright:
Iterative Hessian sketch: Fast and accurate solution approximation for constrained least-squares.
Vladimir Gurvich, Vladimir Oudalov:
A four-person chess-like game without Nash equilibria in pure stationary strategies.
Sebastian Meyer, Leonhard Held, Michael Höhle:
Spatio-Temporal Analysis of Epidemic Phenomena Using the R Package surveillance.
A. J. Morales, Javier Borondo, Juan Carlos Losada, Rosa M. Benito:
Efficiency of Human Activity on Information Spreading on Twitter.
Charles K. Fisher, Pankaj Mehta:
Bayesian feature selection with strongly-regularizing priors maps to the Ising Model.

Babak Fotouhi:
Beyond the Steady-State: Analytical Study of Network Growth at Arbitrary Times, for Arbitrary Initial Conditions.
Urbano França, Hiroki Sayama, Colin McSwiggen, Roozbeh Daneshvar, Yaneer Bar-Yam:
Visualizing the "Heartbeat" of a City with Tweets.
Eric Chitambar, Min-Hsiu Hsieh, Andreas J. Winter:
The Private and Public Correlation Cost of Three Random Variables with Collaboration.
Rogelio Basurto, Paulina A. León, Genaro Juárez Martínez, Juan Carlos Seck Tuoh Mora:
Logic gates and complex dynamics in a hexagonal cellular automaton: the Spiral rule.
Nicole Bäuerle, Igor Gilitschenski, Uwe D. Hanebeck:
Exact and Approximate Hidden Markov Chain Filters Based on Discrete Observations.

Richard Gustavson, Marina V. Kondratieva, Alexey Ovchinnikov:
New effective differential Nullstellensatz.
Jennifer Gillenwater, Alex Kulesza, Emily B. Fox, Ben Taskar:
Expectation-Maximization for Learning Determinantal Point Processes.
Toni Valles-Catala, Francesco Alessandro Massucci, Roger Guimerà, Marta Sales-Pardo:
Multilayer stochastic block models reveal the multilayer structure of complex networks.

Valerio Gemmetto, Tiziano Squartini, Francesco Picciolo, Franco Ruzzenenti, Diego Garlaschelli:
Multiplexity and multireciprocity in directed multiplexes.
Yu-Hang Tang, Shuhei Kudo, Xin Bian, Zhen Li, George E. Karniadakis:
Multiscale Universal Interface: A Concurrent Framework for Coupling Heterogeneous Solvers.
Yongxin Chen, Tryphon T. Georgiou, Michele Pavon:
Fast cooling for a system of stochastic oscillators.
Yoshiharu Maeno, Kenji Nishiguchi, Satoshi Morinaga, Hirokazu Matsushima:
Impact of credit default swaps on financial contagion.
(Withdrawn) Strong parallel repetition for free entangled games, with any number of players.
A. Q. T. Ngo, Peter Bastian, Olaf Ippisch:
Numerical solution of steady-state groundwater flow and solute transport problems: Discontinuous Galerkin based methods compared to the Streamline Diffusion approach.
Rotem Arnon Friedman, Renato Renner, Thomas Vidick:
Non-signalling parallel repetition using de Finetti reductions.

Casey Doyle, Sameet Sreenivasan, Boleslaw K. Szymanski, Gyorgy Korniss:
Social consensus and tipping points with opinion inertia.
Dawen Liang, Matthew D. Hoffman:
Beta Process Non-negative Matrix Factorization with Stochastic Structured Mean-Field Variational Inference.
Farhan Abrol, Stephan Mandt, Rajesh Ranganath, David M. Blei:
Deterministic Annealing for Stochastic Variational Inference.
Daniel Wilson-Nunn, Hector Zenil:
On the Complexity and Behaviour of Cryptocurrencies Compared to Other Markets.
Robin Vujanic, Peyman Mohajerin Esfahani, Paul J. Goulart, Sébastien Mariéthoz, Manfred Morari:
A Decomposition Method for Large Scale MILPs, with Performance Guarantees and a Power System Application.
Robert J. Hanisch, Alice Allen, G. Bruce Berriman, Kimberly DuPrie, Jessica Mink, Robert J. Nemiroff, Judy Schmidt, Lior Shamir, Keith Shortridge, Mark B. Taylor, Peter J. Teuben, John F. Wallin:
Astrophysics Source Code Library Enhancements.
Zoltán Szabó, Arthur Gretton, Barnabás Póczos, Bharath K. Sriperumbudur:
Learning Theory for Distribution Regression.
Michael Chertkov, Vladimir Lebedev, Scott Backhaus:
Cascading of Fluctuations in Interdependent Energy Infrastructures: Gas-Grid Coupling.
Yong-Chull Jang, Hwancheol Jeong, Jangho Kim, Weonjong Lee, Jeonghwan Pak, Yuree Chung:
Code Optimization on Kepler GPUs and Xeon Phi.
Kai-Min Chung, Xin Li, Xiaodi Wu:
Multi-Source Randomness Extractors Against Quantum Side Information, and their Applications.
Makoto Yamada, Avishek Saha, Hua Ouyang, Dawei Yin, Yi Chang:
N$^3$LARS: Minimum Redundancy Maximum Relevance Feature Selection for Large and High-dimensional Data.
Tomonori Kouya:
A Highly Efficient Implementation of Multiple Precision Sparse Matrix-Vector Multiplication and Its Application to Product-type Krylov Subspace Methods.
Jean-François Mercure, A. Lam:
Policy effectiveness for road passenger transport emissions reductions across the world.
T. M. Vieira, Gandhi M. Viswanathan, Luciano R. da Silva:
How to efficiently destroy a network with limited information.
Paul D. Beale:
A new class of scalable parallel pseudorandom number generators based on Pohlig-Hellman exponentiation ciphers.
Yong Kong:
Statistical distributions of sequencing by synthesis with probabilistic nucleotide incorporation.




Fangjian Guo, Charles Blundell, Hanna M. Wallach, Katherine A. Heller:
The Bayesian Echo Chamber: Modeling Influence in Conversations.
Yacob Ben-Aryeh:
Quantum and classical correlations in Bell three and four qubits, related to Hilbert-Schmidt decomposition.
Ju Xiang, Yan-Ni Tang, Yuan-Yuan Gao, Yan Zhang, Ke Deng, Xiaoke Xu, Ke Hu:
Multi-resolution community detection based on generalized self-loop rescaling strategy.
Ioannis Z. Emiris, Tatjana Kalinka, Christos Konaxis:
Sparse implicitization by interpolation: Geometric computations using matrix representations.
Andrew T. T. McRae, Gheorghe-Teodor Bercea, Lawrence Mitchell, David A. Ham, Colin J. Cotter:
Automated generation and symbolic manipulation of tensor product finite elements.
Xing Shi Cai, Guillem Perarnau, Bruce A. Reed, Adam Bene Watts:
Acyclic edge colourings of graphs with large girth.
Alejandro Llorente, Manuel García-Herranz, Manuel Cebrián, Esteban Moro:
Social media fingerprints of unemployment.
Dave Bacon, Steven T. Flammia, Aram Wettroth Harrow, Jonathan Shi:
Sparse Quantum Codes from Quantum Circuits.
Sanguo Zhu, Youming Zhou, Yongjian Sheng:
Asymptotics of the geometric mean error for in-homogeneous self-similar measures.
Tomoharu Iwata, Makoto Yamada:
Multi-view Anomaly Detection via Probabilistic Latent Variable Models.

Luís F. Seoane, Stephan Gabler, Benjamin Blankertz:
Images from the Mind: BCI image evolution based on RSVP of polygon primitives.
Fatihcan M. Atay, Shiping Liu:
Cheeger constants, structural balance, and spectral clustering analysis for signed graphs.

Nabeel Gillani, Taha Yasseri, Rebecca Eynon, Isis Hjorth:
Structural limitations of learning in a crowd: communication vulnerability and information diffusion in MOOCs.
Xiaojie Chen, Yanling Zhang, Ting-Zhu Huang, Matjaz Perc:
Solving the collective-risk social dilemma with risky assets in well-mixed and structured populations.




Bijan Chokoufe Nejad, Thorsten Ohl, Jürgen Reuter:
Simple, Parallel, High-Performance Virtual Machines for Extreme Computations.
Jiajia Song, Eduardo Cotilla Sanchez, Goodarz Ghanavati, Paul D. H. Hines:
Dynamic Modeling of Cascading Failure in Power Systems.
Vesna Berec:
Phase space dynamics and control of the quantum particles associated to hypergraph states.
Anh T. Pham, Raviv Raich, Xiaoli Z. Fern:
Dynamic Programming for Instance Annotation in Multi-instance Multi-label Learning.
Abigail Z. Jacobs, Aaron Clauset:
A unified view of generative models for networks: models, methods, opportunities, and challenges.


Shuo Han, Ufuk Topcu, George J. Pappas:
Differentially Private Distributed Constrained Optimization.
Li Zhang, Xuejun Liu, Songcan Chen:
Detecting Differential Expression from RNA-seq Data with Expression Measurement Uncertainty.
Sieu D. Ha, Jian Shi, Yasmine Meroz, L. Mahadevan, Shriram Ramanathan:
Neuromimetic Circuits with Synaptic Devices based on Strongly Correlated Electron Systems.
Alex Olshevsky:
Average Consensus in Nearly Linear Time on Fixed Graphs and Implications for Decentralized Optimization and Multi-Agent Control.
Prathapasinghe Dharmawansa, Boaz Nadler, Ofer Shwartz:
Roy's largest root under rank-one alternatives: The complex valued case and applications.
Zhiwei Qin, Xiaocheng Tang, Ioannis Akrotirianakis, Amit Chakraborty:
HIPAD - A Hybrid Interior-Point Alternating Direction algorithm for knowledge-based SVM and feature selection.

O. Kaczmarek, C. Schmidt, P. Steinbrecher, M. Wagner:
Conjugate gradient solvers on Intel Xeon Phi and NVIDIA GPUs.
Kian Hsiang Low, Jiangbo Yu, Jie Chen, Patrick Jaillet:
Parallel Gaussian Process Regression for Big Data: Low-Rank Representation Meets Markov Approximation.
Olivier Guédon, Roman Vershynin:
Community detection in sparse networks via Grothendieck's inequality.
Michael R. Ferrier:
Toward a Universal Cortical Algorithm: Examining Hierarchical Temporal Memory in Light of Frontal Cortical Function.
Faouzi Bellili, Rabii Meftehi, Sofiène Affes, Alex Stephenne:
Maximum Likelihood SNR Estimation of Linearly-Modulated Signals over Time-Varying Flat-Fading SIMO Channels.
Yuhao Qin, Zhi-Dan Zhao, Shimin Cai, Liang Gao:
Dual-induced multifractality of human online activity.
Tyler H. Summers, Iman Shames, John Lygeros, Florian Dörfler:
Topology Design for Optimal Network Coherence.

Matthias Köppe, Yuan Zhou:
An Electronic Compendium of Extreme Functions for the Gomory-Johnson Infinite Group Problem.
Arkady Zgonnikov, Ihor Lubashevsky:
Noise-driven activation in human intermittent control: a double-well potential model.
Sander Rhebergen, Garth N. Wells, Andrew J. Wathen, Richard F. Katz:
Optimal three-field block-preconditioners for models of coupled magma/mantle dynamics.
Si-Hui Tan, Joshua A. Kettlewell, Yingkai Ouyang, Lin Chen, Joseph F. Fitzsimons:
A quantum approach to fully homomorphic encryption.
Patrick K. Kimes, D. Neil Hayes, J. S. Marron, Yufeng Liu:
Large-Margin Classification with Multiple Decision Rules.
Sylvain Gravier, Aline Parreau, Sara Rottey, Leo Storme, Élise Vandomme:
Identifying codes in vertex-transitive graphs.
Michelle R. Greene, Christopher Baldassano, Andre Esteva, Diane M. Beck, Fei-Fei Li:
Affordances Provide a Fundamental Categorization Principle for Visual Scenes.
Jie Sun, Carlo Cafaro, Erik M. Bollt:
Identifying Coupling Structure in Complex Systems through the Optimal Causation Entropy Principle.
Justin B. Kinney:
Unification of Field Theory and Maximum Entropy Methods for Learning Probability Densities.
Zeyuan Allen Zhu, Rati Gelashvili, Silvio Micali, Nir Shavit:
Johnson-Lindenstrauss Compression with Neuroscience-Based Constraints.
Milovan Suvakov, Bosiljka Tadic:
Collective emotion dynamics in chats with agents, moderators and Bots.
Juan Ignacio Perotti, Hang-Hyun Jo, Petter Holme, Jari Saramäki:
Temporal network sparsity and the slowing down of spreading.
Francesca Paola Carli, Tianshi Chen, Lennart Ljung:
Maximum Entropy Kernels for System Identification.
Ariel Herbert-Voss, Matthew J. Hirn, Frederick McCollum:
Computing minimal interpolants in $C^{1, 1}(\mathbb{R}^d)$.
Sébastien Bubeck, Jian Ding, Ronen Eldan, Miklós Z. Rácz:
Testing for high-dimensional geometry in random graphs.
Scott Aaronson, Andris Ambainis:
Forrelation: A Problem that Optimally Separates Quantum from Classical Computing.
Martin D. Muggli, Simon J. Puglisi, Roy Ronen, Christina Boucher:
Misassembly Detection using Paired-End Sequence Reads and Optical Mapping Data.
Nikolaos Kariotoglou, Maryam Kamgarpour, Tyler H. Summers, John Lygeros:
A numerical approach to stochastic reach-avoid problems for Markov Decision Processes.
Krzysztof Nienartowicz, Diego Ordóñez Blanco, Leanne Guy, Berry Holl, Isabelle Lecoeur-Taïbi, Nami Mowlavi, Lorenzo Rimoldini, Idoia Ruiz, Maria Süveges, Laurent Eyer:
Time series data mining for the Gaia variability analysis.
Alexander M. Petersen, Orion Penner:
Inequality and cumulative advantage in science careers: a case study of high-impact journals.
Pouya Esmailian, Seyed Ebrahim Abtahi, Mahdi Jalili:
Mesoscopic analysis of online social networks - The role of negative ties.
Andrea Montanari, Daniel Reichman, Ofer Zeitouni:
On the limitation of spectral methods: From the Gaussian hidden clique problem to rank one perturbations of Gaussian tensors.
Dimitris Bertsimas, Martin S. Copenhaver:
Characterization of the equivalence of robustification and regularization in linear, median, and matrix regression.
Adrian Dobra, Nathalie E. Williams, Nathan Eagle:
Spatiotemporal Detection of Unusual Human Population Behavior Using Mobile Phone Data.
Jafar Ahmadi, Antonio Di Crescenzo, Maria Longobardi:
On dynamic mutual information for bivariate lifetimes.
Avid M. Afzal, Hamse Y. Mussa, Richard E. Turner, Andreas Bender, Robert C. Glen:
Target Fishing: A Single-Label or Multi-Label Problem?
Aaditya Ramdas, Sashank J. Reddi, Barnabás Póczos, Aarti Singh, Larry A. Wasserman:
On the High-dimensional Power of Linear-time Kernel Two-Sample Testing under Mean-difference Alternatives.
Ruta Mehta, Ioannis Panageas, Georgios Piliouras, Sadra Yazdanbod:
The Complexity of Genetic Diversity: Sex with Two Chromosomes is Advantageous but Unpredictable.
Qi Cheng, Shuhong Gao, J. Maurice Rojas, Daqing Wan:
Sparse Univariate Polynomials with Many Roots Over Finite Fields.
(Withdrawn) Mutual Information-Based Unsupervised Feature Transformation for Heterogeneous Feature Subset Selection.
Tomás Kroupa, Bruno Teheux:
Modal extension of Łukasiewicz logic for reasoning about coalitional power.
Ilya Trofimov, Alexander Genkin:
Distributed Coordinate Descent for L1-regularized Logistic Regression.
Nicolás García Trillos, Dejan Slepcev, James H. von Brecht, Thomas Laurent, Xavier Bresson:
Consistency of Cheeger and Ratio Graph Cuts.


Dionysios S. Kalogerias, Athina P. Petropulu:
Asymptotically Optimal Discrete Time Nonlinear Filters From Stochastically Convergent State Process Approximations.
Adam Gagol, Piotr Micek, Bartosz Walczak:
Graph sharing game and the structure of weighted graphs with forbidden subdivision.
Young-Ho Eom, Hang-Hyun Jo:
Tail-scope: Using friends to estimate heavy tails of degree distributions in large-scale complex networks.
William R. Gray Roncal, Dean Kleissas, Joshua T. Vogelstein, Priya Manavalan, Randal C. Burns, R. Jacob Vogelstein, Carey E. Priebe, Mark A. Chevillet, Gregory D. Hager:
An Automated Images-to-Graphs Pipeline for High Resolution Connectomics.
Marco Secondini, Tommaso Foggi, Francesco Fresi, Gianluca Meloni, Fabio Cavaliere, Giulio Colavolpe, Enrico Forestieri, Luca Potì, Roberto Sabella, Giancarlo Prati:
Optical Time-Frequency Packing: Principles, Design, Implementation, and Experimental Demonstration.

Jun Liu, Brittany D. Froese, Adam M. Oberman, Mingqing Xiao:
A multigrid solver for the three dimensional Monge-Ampère equation.
(Withdrawn) Consistency proof of a feasible arithmetic inside a bounded arithmetic.
Taro Takaguchi, Takanori Maehara, Masashi Toyoda, Ken-ichi Kawarabayashi:
Existence of outsiders as a characteristic of online communication networks.
Nitish Umang, Alan L. Erera, Michel Bierlaire:
The robust single machine scheduling problem with uncertain release and processing times.
Pedro Martín, Horst Martini:
Algorithms for ball hulls and ball intersections in strictly convex normed planes.
Ilya O. Tolstikhin, Gilles Blanchard, Marius Kloft:
Localized Complexities for Transductive Learning.
Boualem Djehiche, Hamidou Tembine:
Risk-Sensitive Mean-Field Type Control under Partial Observation.
Arnaud Vandaele, Nicolas Gillis, François Glineur, Daniel Tuyttens:
Heuristics for Exact Nonnegative Matrix Factorization.
Daniel Irving Bernstein, Lam Si Tung Ho, Colby Long, Mike Steel, Katherine St. John, Seth Sullivant:
Bounds on the Expected Size of the Maximum Agreement Subtree.
Keith Burghardt, William Rand, Michelle Girvan:
Competing Opinions and Stubborness: Connecting Models to Data.
Alessandra Tosi, Søren Hauberg, Alfredo Vellido, Neil D. Lawrence:
Metrics for Probabilistic Geometries.


Giulio Cimini, Tiziano Squartini, Andrea Gabrielli, Diego Garlaschelli:
Systemic risk analysis in reconstructed economic and financial networks.
Takashi Tanaka, Kwang-Ki K. Kim, Pablo A. Parrilo, Sanjoy K. Mitter:
Semidefinite Programming Approach to Gaussian Sequential Rate-Distortion Trade-offs.
Anit Kumar Sahu, Soummya Kar:
Distributed Sequential Detection for Gaussian Binary Hypothesis Testing.



Franz J. Király, Andreas Ziehe, Klaus-Robert Müller:
Learning with Algebraic Invariances, and the Invariant Kernel Trick.
Bjarne Ørum Fruergaard, Tue Herlau:
Efficient inference of overlapping communities in complex networks.
Aliakbar Jafarpour:
Open-source code for manifold-based 3D rotation recovery of X-ray scattering patterns.
Maxime Lenormand, Thomas Louail, Oliva G. Cantu-Ros, Miguel Picornell, Ricardo Herranz, Juan Murillo Arias, Marc Barthelemy, Maxi San Miguel, José J. Ramasco:
Influence of sociodemographic characteristics on human mobility.
Bjarne Ørum Fruergaard:
Predicting clicks in online display advertising with latent features and side-information.

Kirthevasan Kandasamy, Akshay Krishnamurthy, Barnabás Póczos, Larry A. Wasserman, James M. Robins:
Influence Functions for Machine Learning: Nonparametric Estimators for Entropies, Divergences and Mutual Informations.
Krzysztof Malarz, Agnieszka Kowalska-Styczen, Krzysztof Kulakowski:
The working group performance modeled by a bi-layer cellular automaton.



Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
